A model for secure protocols and its application to systematic design of cryptographic protocols
Rudolph, Carsten (2001) A model for secure protocols and its application to systematic design of cryptographic protocols. PhD thesis, Queensland University of Technology.
Impact and interest:
Citation counts are sourced monthly from and citation databases.
Citations counts from theindexing service can be viewed at the linked Google Scholar™ search.
|Item Type:||QUT Thesis (PhD)|
|Additional Information:||Presented to the Information Security Research Centre, School of Data Communications, Queensland University of Technology.|
|Keywords:||Cryptography, Computer security, cryptographic protocols, formal notion of security, secure protocol design, formal methods, abstract secure channels, non-malleability, indistinguishability, asynchronous product automata, key establishment protocols, key agreement, key confirmation, thesis, doctoral|
|Institution:||Queensland University of Technology|
|Copyright Owner:||Copyright Carsten Rudolph|
|Deposited On:||22 Sep 2010 13:06|
|Last Modified:||09 Feb 2011 13:55|
Repository Staff Only: item control page