|
243
|
A stubborn attack on state explosion
– A Valmari
- 1992
|
|
133
|
Using partial orders to improve automatic verification methods
– P Godefroid
|
|
176
|
Combining Partial Order Reductions with On-the-fly Model-checking
– Doron Peled
- 1994
|
|
51
|
D.: Refining dependencies improves partial-order verification methods (extended abstract
– P Godefroid, Pirottin
- 1993
|
|
131
|
A Semantic Model for Authentication Protocols
– Thomas Y. C. Woo, Simon S. Lam
- 1993
|
|
1040
|
A logic of authentication
– Michael Burrows, Martín Abadi, Roger Needham
- 1990
|
|
1208
|
Symbolic Model Checking
– K L McMillan
- 1993
|
|
3119
|
Communicating Sequential Processes
– C. A. R. Hoare
- 2004
|
|
238
|
Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem
– Patrice Godefroid
- 1995
|
|
68
|
A Model for Secure Protocols and Their Compositions (Extended Abstract)
– Nevin Heintze, J. D. Tygar
- 1996
|
|
25
|
automatic checking of security protocols
– Fast
- 1996
|
|
872
|
On the Security of Public Key Protocols
– Danny Dolev, et al.
- 1983
|
|
733
|
The Design and Validation of Computer Protocols
– Gerard Holzmann
- 1991
|
|
106
|
A Partial Approach to Model Checking
– Patrice Godefroid, Pierre Wolper
- 1994
|
|
132
|
Stubborn sets for reduced state space generation, in “Tenth International Conference on Application and Theory of Petri Nets
– A VALMARI
- 1989
|
|
104
|
An Improvement in Formal Verification
– Gerard Holzmann, Gerard J. Holzmann, Doron Peled, Doron Peled
- 1994
|
|
784
|
Using encryption for authentication in large networks of computers
– Roger M Needham, Michael D Schroeder
- 1978
|
|
548
|
Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR
– Gavin Lowe
- 1996
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
