@inproceedings{conf/eurocrypt/SyversonM94,
  added-at = {2023-09-19T00:00:00.000+0200},
  author = {Syverson, Paul F. and Meadows, Catherine},
  biburl = {https://www.bibsonomy.org/bibtex/203c7eb09412f33c5d31d084a7acca3e9/dblp},
  booktitle = {EUROCRYPT},
  crossref = {conf/eurocrypt/94},
  editor = {Santis, Alfredo De},
  ee = {https://doi.org/10.1007/BFb0053447},
  interhash = {2748900f4c64178e659c010f3c36eb54},
  intrahash = {03c7eb09412f33c5d31d084a7acca3e9},
  isbn = {3-540-60176-7},
  keywords = {dblp},
  pages = {320-331},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2024-04-10T19:04:27.000+0200},
  title = {Formal Requirements for Key Distribution Protocols.},
  url = {http://dblp.uni-trier.de/db/conf/eurocrypt/eurocrypt94.html#SyversonM94},
  volume = 950,
  year = 1994
}

{"_id":"Lp37hk8Z6HJzHo8p4","bibbaseid":"syverson-meadows-formalrequirementsforkeydistributionprotocols-1994","author_short":["Syverson, P. F.","Meadows, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-09-19T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Syverson"],"firstnames":["Paul","F."],"suffixes":[]},{"propositions":[],"lastnames":["Meadows"],"firstnames":["Catherine"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/203c7eb09412f33c5d31d084a7acca3e9/dblp","booktitle":"EUROCRYPT","crossref":"conf/eurocrypt/94","editor":[{"propositions":[],"lastnames":["Santis"],"firstnames":["Alfredo","De"],"suffixes":[]}],"ee":"https://doi.org/10.1007/BFb0053447","interhash":"2748900f4c64178e659c010f3c36eb54","intrahash":"03c7eb09412f33c5d31d084a7acca3e9","isbn":"3-540-60176-7","keywords":"dblp","pages":"320-331","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2024-04-10T19:04:27.000+0200","title":"Formal Requirements for Key Distribution Protocols.","url":"http://dblp.uni-trier.de/db/conf/eurocrypt/eurocrypt94.html#SyversonM94","volume":"950","year":"1994","bibtex":"@inproceedings{conf/eurocrypt/SyversonM94,\n added-at = {2023-09-19T00:00:00.000+0200},\n author = {Syverson, Paul F. and Meadows, Catherine},\n biburl = {https://www.bibsonomy.org/bibtex/203c7eb09412f33c5d31d084a7acca3e9/dblp},\n booktitle = {EUROCRYPT},\n crossref = {conf/eurocrypt/94},\n editor = {Santis, Alfredo De},\n ee = {https://doi.org/10.1007/BFb0053447},\n interhash = {2748900f4c64178e659c010f3c36eb54},\n intrahash = {03c7eb09412f33c5d31d084a7acca3e9},\n isbn = {3-540-60176-7},\n keywords = {dblp},\n pages = {320-331},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2024-04-10T19:04:27.000+0200},\n title = {Formal Requirements for Key Distribution Protocols.},\n url = {http://dblp.uni-trier.de/db/conf/eurocrypt/eurocrypt94.html#SyversonM94},\n volume = 950,\n year = 1994\n}\n\n","author_short":["Syverson, P. F.","Meadows, C."],"editor_short":["Santis, A. D."],"key":"conf/eurocrypt/SyversonM94","id":"conf/eurocrypt/SyversonM94","bibbaseid":"syverson-meadows-formalrequirementsforkeydistributionprotocols-1994","role":"author","urls":{"Link":"https://doi.org/10.1007/BFb0053447","Paper":"http://dblp.uni-trier.de/db/conf/eurocrypt/eurocrypt94.html#SyversonM94"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Meadows?items=1000","dataSources":["8G4iFLj8NuzKYiymR"],"keywords":["dblp"],"search_terms":["formal","requirements","key","distribution","protocols","syverson","meadows"],"title":"Formal Requirements for Key Distribution Protocols.","year":1994}