Epistemic logic for the applied pi calculus. (2009)

by R Chadha, S Delaune, S Kremer
Venue:In Formal Techniques for Distributed Systems,