О проверке свойств информационных потоков в распределенныхинформационных системах // Материалы международной научной конференции попроблемам безопасности и противодействия терроризмустатья