Computer Science Automation Indian Institute of Science, Bangalore;
机译:安全证明对关键建立协议的重要性对Jan-Chen,Yang-Shen-Shieh,Kim-Huh-Hwang Lee,Lin-Sun-Hwang和Yeh-Sun协议进行形式分析
机译:实时调度的正式规范和继承协议的证明
机译:通过正式的安全证明和通过Scyther的安全验证对YAK协议进行密码分析和改进
机译:在崩溃协议中不可能的正式证明
机译:使用证明助手和SMT解算器的边界网关协议的形式语义和可扩展验证。
机译:勘误至:在欧洲获得及时的正式痴呆护理:Actifcare(及时正规护理的访问)研究方案
机译:碰撞协议中不可靠性的形式证明