LIFC, FRE 2661 CNRS, Besancon, France, INRIA/CASSIS;
security protocol; algebraic properties; automatic verification; approximation;
机译:密码协议的代数模型和安全性分析
机译:在计算模型中使用Cryptoverif自动验证OAuth 2.0协议的安全属性
机译:用Cryptoverif在计算模型中自动验证OAuth 2.0协议的安全性质
机译:自动分析安全协议中的代数性质
机译:自动设计网络安全协议。
机译:微型计算机的统计信息。在生物医学研究和病理实验室实践中适当使用的非代数指南。一系列的六篇文章。 1.数据处理和初步分析。
机译:自动分析安全协议中的代数性质
机译:计算机通信协议属性综述。第一卷计算机通信协议的功能,属性,规范和分析方法。