第二 ARSPA@ICALP 2005年:葡萄牙里斯本
皮耶保罗·德加诺 , 卢卡·维甘 :
安全协议分析自动推理第二次研讨会会议记录, ARSPA@ICALP 2005年7月16日,葡萄牙里斯本。 理论计算机科学电子笔记 135(1), 爱思维尔 2005 皮耶保罗·德加诺 , 卢卡·维甘 :
前言。 1-2 卡洛斯·卡莱罗 , 卢卡·维甘 , 大卫·A·巴思 :
解构爱丽丝和鲍伯。 3-22 Cas J.F.Cremers公司 , 绍克·莫 , 埃里克·P·德文克 :
认证协议注入性的句法准则。 23-38 Deepak D'Souza公司 , K.R.Raghavendra公司 , 芭芭拉·斯普里克 :
一种基于自动机的验证信息流属性的方法。 39-58 阿列克谢·戈斯曼 , 法比奥·马萨奇 , 马可·皮斯托尔 :
HLPSL规范语言的独立语义和验证技术。 59-77 今本健二 , 樱井口一 :
基于SVO逻辑的一次性ID的差分蜂窝密钥交换的设计与分析。 79-94 莫妮卡·内西 , 朱塞皮娜·鲁奇 :
通过重写对Needham-Schoreder对称密钥协议进行形式化和分析。 95-114 克里斯托夫·罗森基尔·尼尔森 , 埃斯本·赫尔托夫·安徒生 , 汉内·里斯·尼尔森 :
投票协议的静态验证。 115-134