Casper: A compiler for the analysis of security protocols.
Saved in:
| Title: | Casper: A compiler for the analysis of security protocols. |
|---|---|
| Authors: | Lowe, Gavin |
| Source: | Journal of Computer Security. 1998, Vol. 6 Issue 1/2, p53. 32p. |
| Subjects: | Computer software, CSP (Computer program language) |
| Abstract: | Presents information on the study that describes Casper, a computer program that automatically produces the CSP description from a more abstract description. Presentation of the syntax for Casper scripts; Overview of the way Casper represents protocols in CSP; Conclusions. |
| Database: | Engineering Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| Abstract: | Presents information on the study that describes Casper, a computer program that automatically produces the CSP description from a more abstract description. Presentation of the syntax for Casper scripts; Overview of the way Casper represents protocols in CSP; Conclusions. |
|---|---|
| ISSN: | 0926227X |
| DOI: | 10.3233/JCS-1998-61-204 |
