Facilitating the modelling and automated analysis of cryptographic protocols

Simple item page
dc.contributor.advisorHutchison, Andrewen_ZA
dc.contributor.authorSaul, Eltonen_ZA
dc.date.accessioned2014-11-28T09:54:22Z
dc.date.available2014-11-28T09:54:22Z
dc.date.issued2001en_ZA
dc.descriptionIncludes bibliographical references.en_ZA
dc.description.abstractMulti-dimensional security protocol engineering is effective for creating cryptographic protocols since it encompasses a variety of design, analysis and deployment techniques, thereby providing a higher level of confidence than individual approaches. SPEAR II, the Security Protocol Engineering and Analysis Resource n, is a protocol engineering tool built on the foundation of previous experience garnered during the SPEAR I project in 1997. The goal of the SPEAR II tool is to facilitate cryptographic protocol engineering and aid users in distilling the critical issues during an engineering session by presenting them with an appropriate level of detail and guiding them as much as possible. The SPEAR II tool currently consists of four components that have been created as part of this dissertation and integrated into one consistent and unified graphical interface: a protocol specification environment (GYPSIE), a GNY statement construction interface (Visual GNY), a Prolog-based GNY analysis engine (GYNGER) and a message rounds calculator.en_ZA
dc.identifier.apacitationSaul, E. (2001). <i>Facilitating the modelling and automated analysis of cryptographic protocols</i>. (Thesis). University of Cape Town ,Faculty of Science ,Department of Computer Science. Retrieved from http://hdl.handle.net/11427/9806en_ZA
dc.identifier.chicagocitationSaul, Elton. <i>"Facilitating the modelling and automated analysis of cryptographic protocols."</i> Thesis., University of Cape Town ,Faculty of Science ,Department of Computer Science, 2001. http://hdl.handle.net/11427/9806en_ZA
dc.identifier.citationSaul, E. 2001. Facilitating the modelling and automated analysis of cryptographic protocols. University of Cape Town.en_ZA
dc.identifier.ris TY - Thesis / Dissertation AU - Saul, Elton AB - Multi-dimensional security protocol engineering is effective for creating cryptographic protocols since it encompasses a variety of design, analysis and deployment techniques, thereby providing a higher level of confidence than individual approaches. SPEAR II, the Security Protocol Engineering and Analysis Resource n, is a protocol engineering tool built on the foundation of previous experience garnered during the SPEAR I project in 1997. The goal of the SPEAR II tool is to facilitate cryptographic protocol engineering and aid users in distilling the critical issues during an engineering session by presenting them with an appropriate level of detail and guiding them as much as possible. The SPEAR II tool currently consists of four components that have been created as part of this dissertation and integrated into one consistent and unified graphical interface: a protocol specification environment (GYPSIE), a GNY statement construction interface (Visual GNY), a Prolog-based GNY analysis engine (GYNGER) and a message rounds calculator. DA - 2001 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 2001 T1 - Facilitating the modelling and automated analysis of cryptographic protocols TI - Facilitating the modelling and automated analysis of cryptographic protocols UR - http://hdl.handle.net/11427/9806 ER - en_ZA
dc.identifier.urihttp://hdl.handle.net/11427/9806
dc.identifier.vancouvercitationSaul E. Facilitating the modelling and automated analysis of cryptographic protocols. [Thesis]. University of Cape Town ,Faculty of Science ,Department of Computer Science, 2001 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/9806en_ZA
dc.language.isoengen_ZA
dc.publisher.departmentDepartment of Computer Scienceen_ZA
dc.publisher.facultyFaculty of Scienceen_ZA
dc.publisher.institutionUniversity of Cape Town
dc.titleFacilitating the modelling and automated analysis of cryptographic protocolsen_ZA
dc.typeMaster Thesis
dc.type.qualificationlevelMasters
dc.type.qualificationnameMScen_ZA
uct.type.filetypeText
uct.type.filetypeImage
uct.type.publicationResearchen_ZA
uct.type.resourceThesisen_ZA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
thesis_sci_2001_saul_e.pdf
Size:
47.9 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Masters