|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
An Updated Threat Model for Security Ceremonies
If you have a question about this talk, please contact Wei Ming Khoo.
Since Needham and Schroeder introduced the idea of an active attacker, a lot of research has been made in the protocol design and analysis area in order to verify protocols’ claims against this type of attacker. Nowadays, the Dolev-Yao threat model is the most widely accepted attacker model in the analysis of security protocols. Consequently, there are several security protocols considered secure against an attacker under Dolev-Yao’s assumptions. With the introduction of the concept of ceremonies, which extends protocol design and analysis to include human peers, we can potentially find and solve security flaws that were previously not detectable. In this presentation, we discuss that, even though Dolev-Yao’s threat model can represent the most powerful attacker possible in a ceremony, the attacker in this model is not realistic in certain scenarios, specially those related to the human peers. We propose a dynamic threat model that can be adjusted according to each ceremony, and consequently adapt the model and the ceremony analysis to realistic scenarios without degrading security and improving usability.
This talk is part of the Computer Laboratory Security Seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsInterdisciplinary Graduate Conference 2008 "Challenges of the 21st Century" HORIZON: Reproductive Health Sandars Lectures in Bibliography
Other talksSino-Russian Oil and Gas Cooperation: Where it stands and how far it can go? Simple and multiple linear regression The art of sex: genetic exchange in Trypanosoma brucei within the tsetse fly The role of law in energy transitions: lessons from community renewables Post-traumatic stress disorder in children and adolescents: the role of cognitive processes in onset, maintenance and treatment "Map-work" 'John Britton and the Topographical Imagination in Nineteenth Century Britain'