Десницкий, В. А. Методика верификации сетевых информационных потоков в информационно-телекоммуникационных системах со встроенными устройствами. Труды СПИИРАН, т. 7, вып. 30, Dec. 2013, сс. 246-57, DOI:10.15622/sp.30.15.