机译:具有新鲜度检查的有界安全协议的保密性是Nexptime-complete
Department of Computer Science, 'Al.I.Cuza' University of Iasi, Iasi, Romania;
security protocol; secrecy problem; complexity;
机译:使用保密类型和逻辑程序分析安全协议
机译:模型检查随机安全协议(邀请论文)
机译:Fepchecker:自动模型检查器,用于验证Web服务中安全协议的公平性和不可否认性
机译:没有新鲜度检查的有界安全协议的保密
机译:BRUTUS:安全协议的模型检查器。
机译:编码层对物理层安全的影响:保密效益方法
机译:基于事件B的组密钥协议中的保密性不确定性检查