Fast, Automatic Checking of Security Protocols
Submitted by arnold on September 24, 2020 - 2:45 pm
| Title | Fast, Automatic Checking of Security Protocols |
| Publication Type | Conference Paper |
| Year of Publication | 1996 |
| Authors | Kindred D, Wing J |
| Conference Name | 2nd USENIX Workshop on Electronic Commerce (EC 96) |
| Date Published | 11/1996 |
| Publisher | USENIX Association |
| Conference Location | Oakland, CA |
| URL | https://www.usenix.org/conference/2nd-usenix-workshop-electronic-commerce/fast-automatic-checking-security-protocols |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX