Searching for "Verification of Security Protocols." – sorted by Relevance.
155 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
