机译:自动验证密码协议线性逻辑规范的保密性
ITC-IRST, Via Sommarive 18, Povo, 38050 Trento, Italy;
linear logic; bottom-up evaluation; model checking; authentication protocols;
机译:一阶逻辑中加密协议保密的自动验证
机译:自动验证密码协议的时间流行性
机译:博弈论框架,用于规范和验证密码协议
机译:基于动作框架的密码协议保密性验证
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:基于Bilinear配对加密的多区域认证和隐私保留协议(MAPP)用于5G-V2X
机译:自动验证密码协议线性逻辑规范的保密性
机译:使用时态逻辑指定和验证加密协议(进度报告)。