Formal Security Proofs
Comon-Lundh Hubert, Delaune St eacute phanie · NATO science for peace and security series. D, Information and communication security · 2012
The goal of the lecture is to present some aspects of formal security proofs of protocols. This is a wide area, and there is another lecture (by B. Banchet) on related topics. The idea is therefore to explain in depth one particular technique, that relies on deducibility constraints. We rely mainly on two introductory documents [8,14]. Actually, the current notes are the beginning of [8].