A Compiler for the Analysis of Security Protocols. Casper is a program that will take a description of a security protocol in a simple, abstract language, and produce a CSP description of the same protocol, suitable for checking using FDR2. It can be used either to find attacks upon protocols, or to show that no such attack exists, subject to the assumptions of the Dolev-Yao Model (i.e. that the intruder may overhear or intercept messages, decrypt and encrypt messages with keys that he knows, and fake messages, but not perform any cryptological attacks).

References in zbMATH (referenced in 103 articles )

Showing results 1 to 20 of 103.
Sorted by year (citations)

1 2 3 4 5 6 next

  1. Basin, David; Cremers, Cas; Meier, Simon: Provably repairing the ISO/IEC 9798 standard for entity authentication (2012)
  2. Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Padovani, Luca: On global types and multi-party sessions (2012)
  3. Cremers, Cas; Mauw, Sjouke: Operational semantics and verification of security protocols. (2012)
  4. Halpern, Joseph Y.; Pucella, Riccardo: Modeling adversaries in a logic for security protocol analysis (2012)
  5. Luu, Anh Tuan; Sun, Jun; Liu, Yang; Dong, Jin Song: SeVe: automatic tool for verification of security protocols (2012)
  6. Palikareva, Hristina; Ouaknine, Joël; Roscoe, A.W.: SAT-solving in CSP trace refinement (2012)
  7. Zhang, Zijian; Zhu, Liehuang; Liao, Lejian; Wang, Mingzhong: Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings (2012)
  8. Akram, Raja Naeem; Markantonakis, Konstantinos; Mayes, Keith: Application-binding protocol in the user centric smart card ownership model (2011)
  9. Basin, David; Caleiro, Carlos; Ramos, Jaime; Viganò, Luca: Distributed temporal logic for the analysis of security protocol models (2011)
  10. Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio: A process algebraic approach to software architecture design (2010)
  11. Chevalier, Yannick; Rusinowitch, Michaël: Compiling and securing cryptographic protocols (2010)
  12. Hasuo, Ichiro; Kawabe, Yoshinobu; Sakurada, Hideki: Probabilistic anonymity via coalgebraic simulations (2010)
  13. Patel, Reema; Borisaniya, Bhavesh; Patel, Avi; Patel, Dhiren; Rajarajan, Muttukrishnan; Zisman, A.: Comparative analysis of formal model checking tools for security protocol verification (2010)
  14. Beauxis, Romain; Palamidessi, Catuscia: Probabilistic and nondeterministic aspects of anonymity (2009)
  15. Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio: Automatic verification of temporal-epistemic properties of cryptographic protocols (2009)
  16. Butterfield, Andrew; Ó Catháin, Art: Concurrent models of flash memory device behaviour (2009)
  17. Cortier, Véronique; Delaune, Stéphanie: Safely composing security protocols (2009)
  18. Cremers, Cas J.F.; Lafourcade, Pascal; Nadeau, Philippe: Comparing state spaces in automatic security protocol analysis (2009)
  19. Freitas, Leo; Woodcock, Jim: FDR explorer (2009)
  20. Guttman, Joshua D.: Cryptographic protocol composition via the authentication tests (2009)

1 2 3 4 5 6 next