×

Casper

swMATH ID: 6559
Software Authors: Gavin Lowe / Oxford University Computing Laborator
Description: 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).
Homepage: http://www.cs.ox.ac.uk/gavin.lowe/Security/Casper/
Keywords: Security Protocols; FDR2
Related Software: AVISPA; TAPS; OFMC; FDR2; NRL; Chaff; scyther; ProVerif; SPIN; Maude; NuSMV; HERMES; Z; JML; PAT; SATMC; YAPA; Kronos; Smodels; PVS
Cited in: 83 Documents
all top 5

Cited by 138 Authors

9 Basin, David A.
8 Viganò, Luca
5 Cremers, Cas J. F.
5 Mödersheim, Sebastian Alexander
5 Rusinowitch, Michaël
4 Armando, Alessandro
4 Compagna, Luca
4 Cortier, Véronique
4 Guttman, Joshua D.
4 Kurkowski, Mirosław
4 Penczek, Wojciech
4 Sisto, Riccardo
3 Caleiro, Carlos
3 Chevalier, Yannick
3 Delzanno, Giorgio
3 Vigneron, Laurent
2 Akram, Raja Naeem
2 Backes, Michael
2 Bertolotti, Ivan Cibrario
2 Chen, Huowang
2 Chin, Shiu-Kai
2 Durante, Luca
2 Etalle, Sandro
2 Gorrieri, Roberto
2 Li, Mengjun
2 Li, Zhoujun
2 Maggi, Paolo
2 Markantonakis, Konstantinos
2 Mauw, Sjouke
2 Mayes, Keith
2 Oostdijk, Martijn Diederik
2 Paulson, Lawrence Charles
2 Pfitzmann, Birgit
2 Roscoe, Andrew William
2 Turuani, Mathieu
2 Valenzano, Adriano
2 Warinschi, Bogdan
2 Warnier, Martijn
2 Zhou, Ti
1 Aldini, Alessandro
1 Almousa, Omar
1 Beauxis, Romain
1 Bella, Giampaolo
1 Bernardo, Marco
1 Borisaniya, Bhavesh
1 Bouallagui, Mehdi
1 Boureanu, Ioana
1 Bouroulet, Roland
1 Bozga, Liana
1 Bozzano, Marco
1 Briais, Sébastien
1 Carlucci Aiello, Luigia
1 Castagna, Giuseppe
1 Clarke, Edmund Melson jun.
1 Cleaveland, Rance
1 Cohen, Mika
1 Corin, Ricardo
1 Corradini, Flavio
1 de Vink, Erik P.
1 de Vries, René G.
1 Delaune, Stéphanie
1 Delicata, Rob
1 Denker, Grit
1 Devillers, Raymond
1 Dezani-Ciancaglini, Mariangiola
1 Doghmi, Shaddin F.
1 Dong, JinSong
1 Durante, Antonio
1 Focardi, Riccardo
1 Freitas, Leo
1 Ganty, Pierre
1 Gurulian, Iakovos
1 Haack, Christian
1 Halpern, Joseph Yehuda
1 Hannotin, Xavier
1 Hasuo, Ichiro
1 Hördegen, Heinrich
1 Hughes, Jesse
1 Jacobs, Bart
1 Jacquemard, Florent
1 Jakubowska, Gizela
1 Jeffrey, Alan S. A.
1 Jha, Somesh
1 Jürjens, Jan
1 Kawabe, Yoshinobu
1 Keller, Michel
1 Klaudel, Hanna
1 Lafourcade, Pascal
1 Lakhnech, Yassine
1 Leuschel, Michael
1 Liao, Lejian
1 Lierler, Yuliya
1 Liu, Yang
1 Lo Presti, Stéphane
1 Lomuscio, Alessio
1 Long, Benjamin W.
1 Lowe, Gavin
1 Luu, Anh Tuan
1 Mansor, Hafizah
1 Marrero, Will
...and 38 more Authors
all top 5

Cited in 17 Serials

8 Theoretical Computer Science
4 Fundamenta Informaticae
3 Formal Aspects of Computing
3 Logical Methods in Computer Science
2 Information Security and Cryptography
1 Information Processing Letters
1 The Computer Journal. Section A / Section B
1 Information Sciences
1 Science of Computer Programming
1 Journal of Symbolic Computation
1 Information and Computation
1 International Journal of Foundations of Computer Science
1 Formal Methods in System Design
1 Journal of Applied Non-Classical Logics
1 Logic Journal of the IGPL
1 The Journal of Logic and Algebraic Programming
1 Frontiers of Computer Science

Cited in 3 Fields

70 Computer science (68-XX)
46 Information and communication theory, circuits (94-XX)
7 Mathematical logic and foundations (03-XX)

Citations by Year