机译:使用JavaSPI的安全协议的形式合理的实现
Politecn Torino, Dipartimento Automat & Informat, Turin, Italy;
Politecn Torino, Dipartimento Automat & Informat, Turin, Italy;
Politecn Torino, Dipartimento Automat & Informat, Turin, Italy;
IOActive, Madrid, Spain;
Security protocols; Formal methods; Formal verification; Model-driven development;
机译:JavaSPI:安全协议实现的框架
机译:如何证明通信协议的安全性?关于形式模型健全性的讨论计算的。
机译:正式验证安全协议的实现:一项调查
机译:基于正式描述技术的安全协议自动实现系统
机译:关于加密协议形式分析的计算合理性。
机译:在正式实施计划之前在艾伯塔省的乳房重建手术中采用手术方案后恢复恢复的采用率很高
机译:用于安全协议实现的JavaSPI框架
机译:正式生成自适应安全协议。