塔玛林

TAMARIN证明器用于安全协议的符号分析。TAMARIN证明器支持安全协议的自动化、无界、符号化分析。它具有用于指定协议、对手模型和属性的表达性语言,并支持有效的演绎和等式推理。我们提供的工具及其应用的概述。


ZBMaCT中的参考文献(12篇文章中引用)

显示结果1至12的12。
按年份排序(引文

  1. 杜拉恩,弗朗西斯科;Eker,史提芬;埃斯科巴,圣地亚哥;MaMi'-OLIET,纳西索;MeeGuer-Joee;Rubio,RoueN;塔尔科特,卡洛琳:Mod(2020)中的程序设计和符号计算
  2. 李,Di Long;Tiu,爱尔温:结合PROVIEF和自动定理证明器进行安全协议验证(2019)
  3. Baelde,戴维;Delaune,S.E.Phanyee;Hirschi,卢卡:确定迹等价的简化语义(2017)
  4. Cheval,Vincent;Con Lundh,休伯特;Delaune,S.E.Phaniee:一组决定约束系统之间的符号等价性的过程(2017)
  5. Delaune,ST·Phanyee;Hirschi,卢卡:在密码协议中建立等价属性的符号方法综述(2017)
  6. Kassem,Ali;法尔科内,伊莉亚斯;Lafourcade,Pascal:电子考试的正式分析和离线监控(2017)
  7. Peter Csaba:设计可靠的分布式系统。基于MUDE(2017)的可执行建模的形式化方法
  8. 杜拉恩,弗朗西斯科;Eker,史提芬;埃斯科巴,圣地亚哥;Malti-OLIET,纳西索;MeeGuer-Joee;塔尔科特,卡洛琳:内置变异生成和统一,及其在莫德2.7(2016)中的应用
  9. 盆地,戴维;凯勒,米歇尔;拉托米洛维奇,萨亚;萨斯,拉尔夫:爱丽丝和鲍勃相遇等式理论(2015)
  10. Meadows,凯瑟琳:密码协议分析中形式化方法的新问题和趋势:十二年后(2015)
  11. Sattarzadeh,Behnam;Fallah,Mehran S.:存在妥协原则下的内射协议的自动类型分析(2015)
  12. 迈耶,西蒙;施密特,贝内迪克特;克雷默斯,Cas;盆地,戴维:安全协议符号分析的塔玛林证明者(2013)伊波尔特