Computer programs; Information systems; Data processing security; Computer networks; Mathematical models; Computerized simulation; Defense systems; Information exchange; Russia; Intrusion detection;
机译:关于计算机辅助系统的神经网络保护设施建模:适应和操作的正式模型。 II
机译:使用VDM-SL工具箱对少量移动Ad-hoc网络进行全面的正式测试
机译:正式的集成网络安全分析工具:基于正式查询的网络安全配置分析
机译:对计算机网络的攻击:基于形式语法的框架和仿真工具
机译:使用任务分析行为建模,错误的人类行为生成和形式化方法来评估人类自动化交互在系统故障中的作用。
机译:减少无线传感器网络不稳定通信中传感器数据丢失的最小误差和模式方法选择的一种形式化方法
机译:一种基于框架的计算机网络多级攻击形式化建模与分析方法