Automated verification of selected equivalences for security protocols
- 作者Bruno Blanchet; Martín Abadi; Cédric Fournet
- 卷第75卷
- 期第1期
- 印刷ISSN1567-8326
- 文件大小676.58KB
- 发表时间2008
- DOI10.1016/j.jlap.2007.06.002
- 页码3-51
同作者推荐
Distributed strategic interleaving with load balancingJ.A. Bergstra; C.A. Middelburg · 2008
Simulating Turing machines on Maurer machinesJ.A. Bergstra; C.A. Middelburg · 2008
Process algebra for hybrid systemsJ.A. Bergstra; C.A. Middelburg · 2005
Parallel Processes with Implicit Computational CapitalJ.A. Bergstra; C.A. Middelburg · 2008
Splitting bisimulations and retrospective conditionsJ.A. Bergstra; C.A. Middelburg · 2006
A thread calculus with molecular dynamicsJ.A. Bergstra; C.A. Middelburg · 2010
Continuity controlled hybrid automataJ.A. Bergstra; C.A. Middelburg · 2006