机译:正式的集成网络安全分析工具:基于正式查询的网络安全配置分析
Indian Institute of Technology, India;
authorisation; computability; computational complexity; computer network security; data mining; graph theory; protocols; query processing; telecommunication network topology; ACL conflgurations; Boolean satisflability; SAT-based decision procedures; access control lists; complex service access queries; enterprise networks; fault-based queries; formal integrated network security analysis tool; formal query-based network security configuration analysis; graph mining procedures; heterogeneous network services; hidden access paths; large topology; network conflgurations complexity; network devices; organisational security policies; protocol; query-based formal security analysis tool; security measures; security policy; static access queries; trafflc source;
机译:企业网络的集成安全性分析框架-正式方法
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:企业网络中基于策略的安全性分析:一种正式方法
机译:综合企业网络的最佳安全配置:一种正式方法
机译:网络协议安全性的形式分析。
机译:形式神经元网络中的信号传播和神经元雪崩分析
机译:开放网络和分布式系统上的安全协议:用于分析,设计和验证的正式方法
机译:评估与计算机站点和网络相关的安全风险的方法。第1部分:制定收集安全信息的正式问卷