机译:基于重写理论规范的电子护照安全协议的形式分析
Amrita Vishwa Vidyapeetham (Amrita University);
Indian Institute of Science (IISc);
Japan Advanced Institute of Science and Technology (JAIST);
Authentication; e-Passport; Key exchange; Maude; Model checking; Rewriting;
机译:基于图形重写的模型转换的形式规范和功能特性分析
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:定时安全协议的正式规范和验证框架
机译:澳大利亚电子护照实施的正式安全性分析
机译:正式规范和安全协议分析。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:安全协议的类型化多集重写规范
机译:安全协议的类型化多重写重写规范