%0 Conference Paper %1 conf/amast/GaoBD08 %A Gao, Han %A Bodei, Chiara %A Degano, Pierpaolo %B AMAST %D 2008 %E Meseguer, José %E Rosu, Grigore %I Springer %K dblp %P 167-183 %T A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. %U http://dblp.uni-trier.de/db/conf/amast/amast2008.html#GaoBD08 %V 5140 %@ 978-3-540-79979-5

@inproceedings{conf/amast/GaoBD08, added-at = {2022-11-29T00:00:00.000+0100}, author = {Gao, Han and Bodei, Chiara and Degano, Pierpaolo}, biburl = {https://www.bibsonomy.org/bibtex/253c89a17d11ca6b63a422623bfae1665/dblp}, booktitle = {AMAST}, crossref = {conf/amast/2008}, editor = {Meseguer, José and Rosu, Grigore}, ee = {https://doi.org/10.1007/978-3-540-79980-1_14}, interhash = {d556c61cf53371a883fa21f39970e3c7}, intrahash = {53c89a17d11ca6b63a422623bfae1665}, isbn = {978-3-540-79979-5}, keywords = {dblp}, pages = {167-183}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:50:33.000+0200}, title = {A Formal Analysis of Complex Type Flaw Attacks on Security Protocols.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast2008.html#GaoBD08}, volume = 5140, year = 2008 }