Fraunhofer Inst. for Secure Telecooperation SIT, Darmstadt, Germany;
机译:动态跟踪生成方法,用于加密协议的安全性分析:基于有色Petri网的方法
机译:基于有界构造算法的密码协议安全性分析
机译:基于有界构造算法的密码协议安全性分析
机译:使用异步产品自动机的基于角色的加密协议规范和安全性分析
机译:使用彩色Petri网规范对加密协议进行自动安全性分析。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:使用基于角色的规范和Petri网对安全协议进行建模和分析
机译:基于DTN架构的安全性分析和基于空间网络的捆绑协议规范