depth-bounded process; security protocols; protocol secrecy; well-structured transition system;
机译:具有新鲜度检查的有界安全协议的保密性是Nexptime-complete
机译:使用保密类型和逻辑程序分析安全协议
机译:具有完美前向保密的会话发起协议的增强密码认证方案
机译:决定安全协议的保密,以获取无限数量的会话:深度有限进程的情况
机译:SOA和云计算安全网关协议在大数据分析会话中的扩展使用。
机译:具有完美前向保密性的会话发起协议的增强型密码认证方案
机译:标记使得无限制的随机数可以保密