Department of Computer Science, Munich University of Technology Boltzmannstr. 3, D-85748 Garching, Germany;
机译:分层证明树的概念及其在安全协议验证自动化中的应用
机译:在计算模型中使用Crypto Verif对传输层安全1.2协议的安全属性进行机械化验证
机译:在计算模型中使用Crypto Verif对传输层安全1.2协议的安全属性进行机械化验证
机译:层次安全协议的建模与验证:银行申请
机译:本地计算机网络数据链路层协议(运营商感知,多次访问,通过令牌环的总线环)的建模和验证。
机译:H. T. Banks和C. Castillo-Chavez撰写的生物恐怖主义:数学建模在国土安全中的应用评论
机译:分层安全协议的建模与验证:银行应用
机译:使用软件安全性分析来验证安全套接字层(ssL)协议