%0 Journal Article %1 Paulson98theinductive %A Paulson, Lawrence C. %D 1998 %J Journal of Computer Security %K crypto verification %T The inductive approach to verifying cryptographic protocols %U http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.4394

@article{Paulson98theinductive, added-at = {2012-04-01T20:32:56.000+0200}, author = {Paulson, Lawrence C.}, biburl = {https://www.bibsonomy.org/bibtex/262ae624613763474a4b6134c2273cd36/giuliano.losa}, description = {CiteSeerX — The inductive approach to verifying cryptographic protocols}, interhash = {ef4a88c7ebff4e80ae07922fadcbb50e}, intrahash = {62ae624613763474a4b6134c2273cd36}, journal = {Journal of Computer Security}, keywords = {crypto verification}, timestamp = {2012-04-01T20:32:56.000+0200}, title = {The inductive approach to verifying cryptographic protocols}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.4394}, year = 1998 }