Skip to Main content Skip to Navigation
New interface
Conference papers

Layered Analysis of Security Ceremonies

Abstract : A security ceremony expands a security protocol with everything that is considered out of band for it. Notably, it incorporates the user, who, according to their belief systems and cultural values, may be variously targeted by social engineering attacks. This makes ceremonies complex and varied, hence the need for their formal analysis aimed at their rigorous understanding.Formal analysis in turn requires clarifying the ceremony structure to build a ceremony model. The model defined here spans over a number of socio-technical layers, ranging from a computer network to society. It inspires a layered analysis of security ceremonies, that is layer by layer. This paper focuses on the human-computer interaction layer, which features a socio-technical protocol between a user persona and a computer interface. Future work will be to traverse all layers by formal analysis.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, May 4, 2017 - 1:45:55 PM
Last modification on : Monday, November 28, 2022 - 4:50:07 PM
Long-term archiving on: : Saturday, August 5, 2017 - 1:26:16 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Giampaolo Bella, Lizzie Coles-Kemp. Layered Analysis of Security Ceremonies. 27th Information Security and Privacy Conference (SEC), Jun 2012, Heraklion, Crete, Greece. pp.273-286, ⟨10.1007/978-3-642-30436-1_23⟩. ⟨hal-01518259⟩



Record views


Files downloads