@article{DBLP:journals/jsc/BozzanoD04,
  author       = {Marco Bozzano and
                  Giorgio Delzanno},
  title        = {Automatic verification of secrecy properties for linear logic specifications
                  of cryptographic protocols},
  journal      = {J. Symb. Comput.},
  volume       = {38},
  number       = {5},
  pages        = {1375--1415},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.jsc.2004.04.002},
  doi          = {10.1016/J.JSC.2004.04.002},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/BozzanoD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"gtdmt9gHgntiZKai4","bibbaseid":"bozzano-delzanno-automaticverificationofsecrecypropertiesforlinearlogicspecificationsofcryptographicprotocols-2004","author_short":["Bozzano, M.","Delzanno, G."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Marco"],"propositions":[],"lastnames":["Bozzano"],"suffixes":[]},{"firstnames":["Giorgio"],"propositions":[],"lastnames":["Delzanno"],"suffixes":[]}],"title":"Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols","journal":"J. Symb. Comput.","volume":"38","number":"5","pages":"1375–1415","year":"2004","url":"https://doi.org/10.1016/j.jsc.2004.04.002","doi":"10.1016/J.JSC.2004.04.002","timestamp":"Thu, 14 Oct 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/jsc/BozzanoD04.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jsc/BozzanoD04,\n author = {Marco Bozzano and\n Giorgio Delzanno},\n title = {Automatic verification of secrecy properties for linear logic specifications\n of cryptographic protocols},\n journal = {J. Symb. Comput.},\n volume = {38},\n number = {5},\n pages = {1375--1415},\n year = {2004},\n url = {https://doi.org/10.1016/j.jsc.2004.04.002},\n doi = {10.1016/J.JSC.2004.04.002},\n timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jsc/BozzanoD04.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bozzano, M.","Delzanno, G."],"key":"DBLP:journals/jsc/BozzanoD04","id":"DBLP:journals/jsc/BozzanoD04","bibbaseid":"bozzano-delzanno-automaticverificationofsecrecypropertiesforlinearlogicspecificationsofcryptographicprotocols-2004","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.jsc.2004.04.002"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/d/GDelzanno.bib","dataSources":["CNS5YERBRqLdN5aYr"],"keywords":[],"search_terms":["automatic","verification","secrecy","properties","linear","logic","specifications","cryptographic","protocols","bozzano","delzanno"],"title":"Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols","year":2004}