Some decidability result for logic constructed for checking user authentication protocols
László Aszalós, Philippe Balbiani · University of Debrecen Electronic Archive (University of Debrecen) · 2008
The core of our paper is a general purpose logical system for reasoning about user authentication protocols. Proposed as an extension of the propositional epistemic logic by dynamic operators, the potential usefulness of our calculus for protocol verification is illustrated with examples.