An Epistemic Foundation for Authentication Logics (Extended Abstract)

Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella

While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, thi…