%0 Conference Paper %1 journals/corr/HalpernMP17 %A Halpern, Joseph Y. %A van der Meyden, Ron %A Pucella, Riccardo %B TARK %D 2017 %E Lang, Jérôme %K dblp %P 306-323 %T An Epistemic Foundation for Authentication Logics (Extended Abstract). %U http://dblp.uni-trier.de/db/series/eptcs/eptcs251.html#HalpernMP17 %V 251

@inproceedings{journals/corr/HalpernMP17, added-at = {2018-09-12T00:00:00.000+0200}, author = {Halpern, Joseph Y. and van der Meyden, Ron and Pucella, Riccardo}, biburl = {https://www.bibsonomy.org/bibtex/2fa91adf6c71052834db195e429dfbfee/dblp}, booktitle = {TARK}, crossref = {journals/corr/Lang17a}, editor = {Lang, Jérôme}, ee = {http://arxiv.org/abs/1707.08750}, interhash = {41c1f768eea19879f280ab3bc085a637}, intrahash = {fa91adf6c71052834db195e429dfbfee}, keywords = {dblp}, pages = {306-323}, series = {EPTCS}, timestamp = {2018-09-13T11:46:55.000+0200}, title = {An Epistemic Foundation for Authentication Logics (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs251.html#HalpernMP17}, volume = 251, year = 2017 }