%0 Conference Paper %1 conf/birthday/AielloM02 %A Aiello, Luigia Carlucci %A Massacci, Fabio %B Computational Logic: Logic Programming and Beyond %D 2002 %E Kakas, Antonis C. %E Sadri, Fariba %I Springer %K dblp %P 533-560 %T Planning Attacks to Security Protocols: Case Studies in Logic Programming. %U http://dblp.uni-trier.de/db/conf/birthday/kowalski2002-1.html#AielloM02 %V 2407 %@ 3-540-43959-5

@inproceedings{conf/birthday/AielloM02, added-at = {2017-05-23T00:00:00.000+0200}, author = {Aiello, Luigia Carlucci and Massacci, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/250f931179068ed23a1c529e5c1035335/dblp}, booktitle = {Computational Logic: Logic Programming and Beyond}, crossref = {conf/birthday/2002kowalski1}, editor = {Kakas, Antonis C. and Sadri, Fariba}, ee = {https://doi.org/10.1007/3-540-45628-7_20}, interhash = {b9158a9935c4982e84dfce4c5270f636}, intrahash = {50f931179068ed23a1c529e5c1035335}, isbn = {3-540-43959-5}, keywords = {dblp}, pages = {533-560}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:47.000+0200}, title = {Planning Attacks to Security Protocols: Case Studies in Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/birthday/kowalski2002-1.html#AielloM02}, volume = 2407, year = 2002 }