Методика верификации сетевых информационных потоков в информационно-телекоммуникационных системах со встроенными устройствами - Десницкий, Василий Алексеевич (Труды СПИИРАН, 2013)