...
机译:PKCS#11和专有扩展的正式安全性分析
LSV, ENS Cachan & CNRS & INRIA, France;
rnLSV, ENS Cachan & CNRS & INRIA, France;
rnLSV, ENS Cachan & CNRS & INRIA, France 61, avenue du President Wilson, 94235 Cachan Cedex, France;
security APIs; PKCS#11; cryptographic devices; decidability; model checking;
机译:正式的集成网络安全分析工具:基于正式查询的网络安全配置分析
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:带有隐私保护扩展的漫游的正式安全定义和高效构建
机译:PKCS#11中密钥完整性的形式分析
机译:使Kerberos成为弹性基础设施,具有正式的安全分析
机译:发生什么正式的安全方法?
机译:PKCS#11中密钥完整性的形式分析
机译:用Z实现对面向对象分析的形式化扩展