Paper Unlock

Authors: Marcelo Carlomagno Carlos 1 ; Jean Everson Martina 2 ; Geraint Price 1 and Ricardo Felipe Custódio 2

Affiliations: 1 Royal Holloway University of London, United Kingdom ; 2 Universidade Federal de Santa Catarina, Brazil

ISBN: 978-989-8565-24-2

ISSN: 2184-2825

Keyword(s): Security Ceremonies, Security Protocols, Formal Methods, Cognitive Human Formalisation.

Related Ontology Subjects/Areas/Topics: Formal Methods for Security ; Human Factors and Human Behaviour Recognition Techniques ; Information and Systems Security ; Information Assurance ; Security Protocols

Abstract: The concept of a ceremony as an extension of network and security protocols was introduced by Ellison. There are no currently available methods or tools to check correctness of the properties in such ceremonies. The potential application for security ceremonies are vast and fill gaps left by strong assumptions in security protocols. Assumptions include the provision of cryptographic keys and correct human interaction. Moreover, no tools are available to check how knowledge is distributed among human peers nor their interaction with other humans and computers in these scenarios. The key component of this position paper is the formalisation of human knowledge distribution in security ceremonies. By properly enlisting human expectations and interactions in security protocols, we can minimise the ill-described assumptions we usually see failing. Taking such issues into account when designing or verifying protocols can help us to better understand where protocols are more prone to break du e to human constraints. (More)

PDF ImageFull Text


Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Carlomagno Carlos, M.; Everson Martina, J.; Price, G. and Felipe Custódio, R. (2012). A Proposed Framework for Analysing Security Ceremonies.In Proceedings of the International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2012) ISBN 978-989-8565-24-2, ISSN 2184-2825, pages 440-445. DOI: 10.5220/0004129704400445

author={Marcelo Carlomagno Carlos. and Jean Everson Martina. and Geraint Price. and Ricardo Felipe Custódio.},
title={A Proposed Framework for Analysing Security Ceremonies},
booktitle={Proceedings of the International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2012)},


JO - Proceedings of the International Conference on Security and Cryptography - Volume 1: SECRYPT, (ICETE 2012)
TI - A Proposed Framework for Analysing Security Ceremonies
SN - 978-989-8565-24-2
AU - Carlomagno Carlos, M.
AU - Everson Martina, J.
AU - Price, G.
AU - Felipe Custódio, R.
PY - 2012
SP - 440
EP - 445
DO - 10.5220/0004129704400445

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.