一些电子投票理论下的安全协议决策知识
第45卷，第3期，第269-299页 国际标准编号：0988-3754
访问完整文章
摘要
如何引用
参考文献
M.Abadi和V.Cortier，在等式理论下决定安全协议的知识。 理论。 计算。 科学367（2006）2-32。 M.Abadi和C.Fournet，《移动价值观、新名称和安全通信》。 SIGPLAN编号36（2001）104–115。 A.Armando，D.Basin，Y.Boichut，Y.Chevalier，L.Compagna，J.Cuellar，P.H.Drielsma，P.-C.Héam，O.Kouchnarenko，J.Mantovani，S.Mödersheim，D.von Oheimb，M.Rusinovitch，J.Santiago，M.Turuani，L.Vigan和L.Vigneron，互联网安全协议和应用自动验证的AVISPA工具， 程序中。 第17届计算机辅助验证国际会议，CAV’2005。 勒克特。 票据计算。 Sci.3576（2005）281–285。 M.Arnaud、V.Cortier和S.Delaune，《安全协议中确定知识的组合算法》，收录于Proc。 第六届组合系统前沿国际研讨会（FroCoS’2007）。 勒克特。 票据计算。 科学4720（2007）103–117。 M.Baudet，V.Cortier和S.Delaune，YAPA：计算入侵者知识的通用工具，见Proc。 第20届改写技术与应用国际会议（RTA'09）。 勒克特。 票据计算。 科学.5595（2009）148–163。 B.Blanchet，一种基于prolog规则的高效密码协议验证器，见Proc。 第14届计算机安全基础研讨会CSFW'01。 IEEE计算机学会出版社（2001）。 D.Chaum，无法追踪付款的盲签名，程序。 第八届国际密码学年会（CRYPTO’82）（1982）199-203。 Y.Chevalier、R.Kusters、M.Rusinovitch和M.Turuani，XOR协议不安全的NP决策程序。 理论。 计算。 科学338（2005）247–274。 Ş. Ciobácáe、S.Delaune和S.Kremer，在收敛方程理论下计算安全协议知识，收录于Proc。 第22届自动扣减国际会议（2009年）。 H.Comon-Lundh和V.Shmatikov，《在排他或存在的情况下，入侵者推断、约束求解和不安全决策》。 第18届IEEE计算机科学逻辑年会（LICS-03）。 IEEE计算机学会（2003）271–280。 V.Cortier和S.Delaune，决定单体方程理论的安全协议知识，见Proc。 第14届程序设计、人工智能和推理逻辑国际会议（LPAR'07）。 勒克特。 注释Artif。 国际4790（2007）196-210。 S.Delaune，同态的简单入侵者演绎问题。 通知。 过程。 Lett.97（2006）213–218。 S.Delaune、S.Kremer和M.D.Ryan，《验证电子投票协议的属性》，摘自《Proc。 IAVoSS可信选举研讨会（WOTE'06）（2006）45-52。 S.Delaune、S.Kremer和M.D.Ryan，验证电子投票协议的隐私类型属性。 J.计算。 证券17（2009）435-487。 N.Dershowitz和D.A.Plaisted，《重写》，《自动推理手册》。 J.A.Robinson和A.Voronkov，爱思唯尔出版社和麻省理工学院出版社（2001）535–610。 D.E.Knuth和P.B.Bendix，《泛代数中的简单单词问题》，摘自《抽象代数中的计算问题》。 J.Leech，Eds.Pergamon出版社（1970）263-297。 P.Lafourcade、D.Lugiez和R.Treinen，同态类AC方程理论的侵入者演绎，见Proc。 第16届改写技术与应用国际会议（RTA'05）。 斯普林格（2005）。 B.Lee、C.Boyd、E.Dawson、K.Kim、J.Yang和S.Yoo，《在基于混合网络的投票协议中提供无收据性》，摘自《Proc。 第六届信息安全与密码学国际会议（ICISC'03）。 斯普林格（2003）。 D.A.McAllester，推理关系中可处理性的自动识别。 J.ACM40（1993）284–303。 T.Okamoto，电子投票方案，在Proc。 第14届IFIP世界IT工具会议（1996）21–30。 M.Rusinovitch和M.Turuani，有限会话数的协议不安全是NP完全的，见Proc。 第十四届计算机安全基础研讨会（CSFW’01）。 IEEE计算机学会出版社（2001）174-190。