A compositional logic for protocol correctness
Main Authors: | Durgin, N, Mitchell, J, Pavlovic, D |
---|---|
Format: | Conference item |
Published: |
IEEE
2001
|
Similar Items
Testing semantics: Connecting processes and process logics
by: Pavlovic, D, et al.
Published: (2006)
by: Pavlovic, D, et al.
Published: (2006)
Similar Items
-
A compositional logic for proving security properties of protocols
by: Durgin, N, et al.
Published: (2004) -
A derivation system and compositional logic for security protocols
by: Datta, A, et al.
Published: (2005) -
A derivation system for security protocols and its logical formalization
by: Datta, A, et al.
Published: (2003) -
Secure protocol composition
by: Datta, A, et al.
Published: (2003) -
Secure protocol composition (extended abstract)
by: Datta, A, et al.
Published: (2003)