Peroli, Michele and Viganò, Luca and Fiazza, Maria-Camilla (2012) Security Protocols as Environments: a Lesson from Non-collaboration. In: The 6th International Workshop on Trusted Collaboration.
![[thumbnail of 12450.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "12450.pdf")
PDF
12450.pdf
Download (173kB)
Abstract
Although computer security typically revolves around threats, attacks and defenses, the sub-field of security protocol analysis (SPA) has so far focused almost exclusively on attacks. In this paper, we show that such focus on attacks
depends on few critical assumptions that have been characteristic
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 09:09 |
| Last Modified: | 18 Apr 2026 02:37 |
| URI: | http://eprints.eai.eu/id/eprint/4111 |
Actions (login required)
- View Item