Modal Logics for Cryptographic Processes
Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen · Electronic Notes in Theoretical Computer Science · 2002
We present three modal logics for the spi-calculus and show that they capture strong versions of the environment sensitive bisimulation introduced by Boreale et al. Our logics differ from conventional modal logics for process calculi in that they allow us to describe the knowledge of an attacker directly.