User Tools

Site Tools

Logics in Security -- A Tutorial --

Ralf Küsters

Logic is omnipresent in the field of security. It is used both as a tool to rigorously specify security requirements of systems and security related tasks and as a tool to verify such requirements and uncover security flaws. In this tutorial, the application of logics, in particular temporal and epistemic logics, in security will be demonstrated by several examples, including authentication and key exchange, contract signing, and anonymous communication.