机译:正式的集成网络安全分析工具:基于正式查询的网络安全配置分析
机译:企业网络的集成安全性分析框架-正式方法
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:网络安全的正式框架(Expression + Analysis)
机译:合成基因网络分析和设计的正式框架
机译:邻域网中智能电网的数据安全和交易框架
机译:无线传感器网络中离散安全值的安全评估框架的设计与分析
机译:评估与计算机站点和网络相关的安全风险的方法。第1部分:制定收集安全信息的正式问卷