University of Pennsylvania;
机译:正式的集成网络安全分析工具:基于正式查询的网络安全配置分析
机译:通过形式化的知识表示和推论进行半自动化的现场设备选择和配置
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:一种基于缩减的方法,用于扩展Internet配置的形式分析
机译:路由器策略的分层形式建模和验证,以及对思科路由器配置的应用案例研究
机译:互联网支持小组的戒烟动机和情感语言:探索性地使用自动化内容分析来衡量法规重点
机译:基于约简的方法扩大互联网配置的形式化分析
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。