%0 Conference Paper %1 conf/csfw/BugliesiFM05 %A Bugliesi, Michele %A Focardi, Riccardo %A Maffei, Matteo %B CSFW %D 2005 %I IEEE Computer Society %K dblp %P 112-125 %T Analysis of Typed Analyses of Authentication Protocols. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2005.html#BugliesiFM05 %@ 0-7695-2340-4

@inproceedings{conf/csfw/BugliesiFM05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Bugliesi, Michele and Focardi, Riccardo and Maffei, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/2ed947e5d0c2dce1aa2d9f5ca36dd357f/dblp}, booktitle = {CSFW}, crossref = {conf/csfw/2005}, ee = {https://www.wikidata.org/entity/Q62045703}, interhash = {d65751bb813db63f6fae7a8a12e84414}, intrahash = {ed947e5d0c2dce1aa2d9f5ca36dd357f}, isbn = {0-7695-2340-4}, keywords = {dblp}, pages = {112-125}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:42:57.000+0200}, title = {Analysis of Typed Analyses of Authentication Protocols.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2005.html#BugliesiFM05}, year = 2005 }