This project describes several methods suggested for security protocol design. The method named ' A Simple Logic for Authentication Protocol Design' is described in more detail and implemented including custom made addition defining the ownership of messages and rights to re-send those messages.
| Identifer | oai:union.ndltd.org:nusl.cz/oai:invenio.nusl.cz:237220 |
| Date | January 2010 |
| Creators | Hranáč, Jakub |
| Contributors | Ryšavý, Ondřej, Očenášek, Pavel |
| Publisher | Vysoké učení technické v Brně. Fakulta informačních technologií |
| Source Sets | Czech ETDs |
| Language | Czech |
| Detected Language | English |
| Type | info:eu-repo/semantics/masterThesis |
| Rights | info:eu-repo/semantics/restrictedAccess |
Page generated in 0.0015 seconds