Searching for "Verification of Security Protocols." – sorted by Relevance.
-
Automated Verification of Security Protocols
- Automated Verication of Security Protocols Marco Bozzano 1 Giorgio Delzanno 2 1 ITC - IRST Via
- Add To MetaCart
-
Process Calculi and the Verification of Security Protocols
- Process Calculi and the Verification of Security Protocols Abstract — Recently there has been much
- Add To MetaCart
-
Automated Verification of Security Protocol Implementations
- Automated Verification of Security Protocol Implementations Sagar Chaki and Anupam Datta January
- Add To MetaCart
-
External Consistency and the Verification of Security Protocols
- Consistency and the Verification of Security Protocols Simon N. Foley Centre for Communications Systems
- Cited by 1 (0 self) – Add To MetaCart
-
Verification of security protocols using LOTOS - Method and application
- Verification of security protocols using LOTOS-method and application G. Leduc, F. Germeau
- Cited by 6 (1 self) – Add To MetaCart
-
A Tool for Lazy Verification of Security Protocols
- A Tool for Lazy Verification of Security Protocols Y. Chevalier L. Vigneron LORIA - UHP - UN2
- Cited by 20 (5 self) – Add To MetaCart
-
Towards a Logic for Verification of Security Protocols
- http://www.lsv.ens-cachan.fr/Publis/ In Proc. Workshop on Security Protocols Verification (SPV
- Add To MetaCart
-
An improved constraint-based system for the verification of security protocols
- An Improved Constraint-Based System for the Verification of Security Protocols Ricardo Corin 1
- Cited by 40 (13 self) – Add To MetaCart
-
Cryptographically sound and machine-assisted verification of security protocols
- Cryptographically Sound and Machine-Assisted Verification of Security Protocols Michael Backes 1
- Cited by 24 (14 self) – Add To MetaCart
-
Model-based Design and Verification of Security Protocols using LOTOS
- Model-based Design and Verification of Security Protocols using LOTOS F. Germeau, G. Leduc 1
- Cited by 9 (5 self) – Add To MetaCart

