%0 Journal Article %1 journals/tcs/BorealeB05 %A Boreale, Michele %A Buscemi, Maria Grazia %D 2005 %J Theor. Comput. Sci. %K dblp %N 1-3 %P 393-425 %T A method for symbolic analysis of security protocols. %U http://dblp.uni-trier.de/db/journals/tcs/tcs338.html#BorealeB05 %V 338

@article{journals/tcs/BorealeB05, added-at = {2023-08-28T00:00:00.000+0200}, author = {Boreale, Michele and Buscemi, Maria Grazia}, biburl = {https://www.bibsonomy.org/bibtex/2bb77c7ed04a17ffcabd14990f1e0d9f8/dblp}, ee = {https://www.wikidata.org/entity/Q115036561}, interhash = {9d01f65b85a489c24947084ddbc36b7e}, intrahash = {bb77c7ed04a17ffcabd14990f1e0d9f8}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-3}, pages = {393-425}, timestamp = {2024-04-08T18:40:34.000+0200}, title = {A method for symbolic analysis of security protocols.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs338.html#BorealeB05}, volume = 338, year = 2005 }