Fabrega, F., J. Herzog, and G. J.: 1999, `Strand Spaces: Proving Security Protocols Correct'. Journal of Computer Security 7, 191--230. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Attacking Group Protocols - Steel, BUndy (2005) (Correct)
No context found.
Fabrega, F., J. Herzog, and G. J.: 1999, `Strand Spaces: Proving Security Protocols Correct'. Journal of Computer Security 7, 191--230.
Examining Indistinguishability-Based Proof Models for Key.. - Choo, Boyd, Hitchcock (2005) (1 citation) (Correct)
No context found.
Fabrega, F. J. T., Herzog, J. C. & Guttman, J. D. (1999), `Strand Spaces: Proving Security Protocols Correct', Journal of Computer Security 7, 191--230.
Metareasoning about Security Protocols using Distributed.. - Caleiro, Vigano, Basin (2004) (1 citation) (Correct)
No context found.
F. J. T. Fabrega, J. C. Herzog, and J. D. Guttman. Strand spaces: Proving security protocols correct. Journal of Computer Security, 7:191--230, 1999.
FCS'03 Preliminary Version - Encryption As An (Correct)
No context found.
F. J. T. Fabrega, C. Herzog, and J. D. Guttman. Strand spaces: Proving security protocols correct. J. of Computer Security, 7(2,3):191-230, 1999.
New Decidability Results for Fragments of First-Order.. - Comon-Lundh, Cortier (Correct)
No context found.
F. T. Fabrega, J. Herzog, and J. Guttman. Strand spaces: Proving security protocol correct. Journal of Computer Security, 7:191-230, 1999.
A Computational Analysis of the Needham-Schr oeder-(Lowe) .. - Bogdan Warinschi.. (Correct)
No context found.
F. J. T. Fabrega, J. Hertzog, and J. Guttman. Strand spaces: Proving security protocols correct. Journal of Computer Security, 7(2/3):191--230, 1999.
A Computational Analysis of the Needham-Schr oeder-(Lowe) .. - Bogdan Warinschi.. (Correct)
No context found.
F. J. T. Fabrega, J. Hertzog, and J. Guttman. Strand spaces: Proving security protocols correct. Journal of Computer Security, 7(2/3):191--230, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC