Security ceremonies : including humans in cryptographic protocols

Radke, Kenneth J. (2013) Security ceremonies : including humans in cryptographic protocols. PhD thesis, Queensland University of Technology.


Whether by using electronic banking, by using credit cards, or by synchronising a mobile telephone via Bluetooth to an in-car system, humans are a critical part in many cryptographic protocols daily. We reduced the gap that exists between the theory and the reality of the security of these cryptographic protocols involving humans, by creating tools and techniques for proofs and implementations of human-followable security. After three human research studies, we present a model for capturing human recognition; we provide a tool for generating values called Computer-HUman Recognisable Nonces (CHURNs); and we provide a model for capturing human perceptible freshness.

Impact and interest:

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

255 since deposited on 31 Oct 2013
23 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 63704
Item Type: QUT Thesis (PhD)
Supervisor: Boyd, Colin & Gonzalez Nieto, Juan
Keywords: cryptographic protocols, provable security, human protocols, human computer interaction, ceremony analysis, security ceremonies, TLS, CHURN
Divisions: Current > Schools > School of Electrical Engineering & Computer Science
Current > Institutes > Institute for Future Environments
Current > QUT Faculties and Divisions > Science & Engineering Faculty
Institution: Queensland University of Technology
Deposited On: 31 Oct 2013 05:31
Last Modified: 08 Sep 2015 23:44

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page