Ceremonies Formal Analysis in PKI's Context

—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We take an already-designed protocol and ceremony for a key management protocol operating in a Public-Key Infrastructure environment and test it using a formal method. The ceremonies were analysed to test human peers’ cognition pitfalls using formal methods. The analysis came up with a potential cognitive slip in one early design. This directly affects trust in the protocol. Keywords-Key Management Protocols, Ceremony Design, Ceremony Analysis

• Type: Conference
• Year: 2009
• Where: CSE
• Authors: Jean Everson Martina, Túlio Cicero Salvaro de Souza, Ricardo Felipe Custódio
• Keywords: Computer Science And Engineering, CSE 2009, Formal Methods, Key Management Protocol, Management Protocols