@Inproceedings{EPTCS251.21, author = {Halpern, Joseph Y. and van der Meyden, Ron and Pucella, Riccardo}, year = {2017}, title = {An Epistemic Foundation for Authentication Logics (Extended Abstract)}, editor = {Lang, J\'er\^ome}, booktitle = {{\rm Proceedings Sixteenth Conference on} Theoretical Aspects of Rationality and Knowledge, {\rm Liverpool, UK, 24-26 July 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {251}, publisher = {Open Publishing Association}, pages = {306-323}, doi = {10.4204/EPTCS.251.21}, }