%0 Journal Article %1 journals/jcs/Paulson98 %A Paulson, Lawrence C. %D 1998 %J J. Comput. Secur. %K dblp %N 1-2 %P 85-128 %T The Inductive Approach to Verifying Cryptographic Protocols. %U http://dblp.uni-trier.de/db/journals/jcs/jcs6.html#Paulson98 %V 6

@article{journals/jcs/Paulson98, added-at = {2023-08-28T00:00:00.000+0200}, author = {Paulson, Lawrence C.}, biburl = {https://www.bibsonomy.org/bibtex/233979bf82acb743dc00ea238596647d1/dblp}, ee = {https://www.wikidata.org/entity/Q114944420}, interhash = {ef4a88c7ebff4e80ae07922fadcbb50e}, intrahash = {33979bf82acb743dc00ea238596647d1}, journal = {J. Comput. Secur.}, keywords = {dblp}, number = {1-2}, pages = {85-128}, timestamp = {2024-04-09T05:17:50.000+0200}, title = {The Inductive Approach to Verifying Cryptographic Protocols.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs6.html#Paulson98}, volume = 6, year = 1998 }