%0 Conference Paper %1 conf/esorics/Modersheim12 %A Mödersheim, Sebastian %B ESORICS %D 2012 %E Foresti, Sara %E Yung, Moti %E Martinelli, Fabio %I Springer %K dblp %P 127-144 %T Deciding Security for a Fragment of ASLan. %U http://dblp.uni-trier.de/db/conf/esorics/esorics2012.html#Modersheim12 %V 7459 %@ 978-3-642-33166-4

@inproceedings{conf/esorics/Modersheim12, added-at = {2019-08-20T00:00:00.000+0200}, author = {Mödersheim, Sebastian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e7b95d2535bd9afc490e10c489ecfbd6/dblp}, booktitle = {ESORICS}, crossref = {conf/esorics/2012}, editor = {Foresti, Sara and Yung, Moti and Martinelli, Fabio}, ee = {https://doi.org/10.1007/978-3-642-33167-1_8}, interhash = {1c4774d0fb695e9f19443ed24738bd57}, intrahash = {e7b95d2535bd9afc490e10c489ecfbd6}, isbn = {978-3-642-33166-4}, keywords = {dblp}, pages = {127-144}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:37:34.000+0200}, title = {Deciding Security for a Fragment of ASLan.}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics2012.html#Modersheim12}, volume = 7459, year = 2012 }