Cryptology ePrint Archive: Report 2007/156
Available versions in chronological order
20070507:205325 (posted 07-May-2007 20:53:25 UTC)
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Gergei Bana and Koji Hasebe and Mitsuhiro Okada
20070615:053934 (posted 15-Jun-2007 05:39:34 UTC)
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Gergei Bana and Koji Hasebe and Mitsuhiro Okada
20071009:153057 (posted 09-Oct-2007 15:30:57 UTC)
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Gergei Bana and Koji Hasebe and Mitsuhiro Okada
20071026:013245 (posted 26-Oct-2007 01:32:45 UTC)
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Gergei Bana and Koji Hasebe and Mitsuhiro Okada
20080216:233034 (posted 16-Feb-2008 23:30:34 UTC)
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Gergei Bana and Koji Hasebe and Mitsuhiro Okada
20081031:125429 (posted 31-Oct-2008 12:54:29 UTC)
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Gergei Bana and Koji Hasebe and Mitsuhiro Okada
20090217:232441 (posted 17-Feb-2009 23:24:41 UTC)
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Gergei Bana and Koji Hasebe and Mitsuhiro Okada
[
Cryptology ePrint archive
]