A Framework for Game-Based Security Proofs

A Framework for Game-Based Security Proofs. Nowak, D. In Qing, S., Imai, H., & Wang, G., editors, Information and Communications Security, 9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007, Proceedings, volume 4861, of Lecture Notes in Computer Science, pages 319–333, 2007. Springer.

Paper doi bibtex

@inproceedings{DBLP:conf/icics/Nowak07,
  author    = {David Nowak},
  editor    = {Sihan Qing and
               Hideki Imai and
               Guilin Wang},
  title     = {A Framework for Game-Based Security Proofs},
  booktitle = {Information and Communications Security, 9th International Conference,
               {ICICS} 2007, Zhengzhou, China, December 12-15, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4861},
  pages     = {319--333},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-77048-0\_25},
  doi       = {10.1007/978-3-540-77048-0\_25},
  timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icics/Nowak07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0

{"_id":"XHwbrrhZu5pwoLXZP","bibbaseid":"nowak-aframeworkforgamebasedsecurityproofs-2007","authorIDs":["Q8nWoCgp6SjySyEux"],"author_short":["Nowak, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["David"],"propositions":[],"lastnames":["Nowak"],"suffixes":[]}],"editor":[{"firstnames":["Sihan"],"propositions":[],"lastnames":["Qing"],"suffixes":[]},{"firstnames":["Hideki"],"propositions":[],"lastnames":["Imai"],"suffixes":[]},{"firstnames":["Guilin"],"propositions":[],"lastnames":["Wang"],"suffixes":[]}],"title":"A Framework for Game-Based Security Proofs","booktitle":"Information and Communications Security, 9th International Conference, ICICS 2007, Zhengzhou, China, December 12-15, 2007, Proceedings","series":"Lecture Notes in Computer Science","volume":"4861","pages":"319–333","publisher":"Springer","year":"2007","url":"https://doi.org/10.1007/978-3-540-77048-0_25","doi":"10.1007/978-3-540-77048-0_25","timestamp":"Thu, 31 Oct 2019 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/icics/Nowak07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icics/Nowak07,\n author = {David Nowak},\n editor = {Sihan Qing and\n Hideki Imai and\n Guilin Wang},\n title = {A Framework for Game-Based Security Proofs},\n booktitle = {Information and Communications Security, 9th International Conference,\n {ICICS} 2007, Zhengzhou, China, December 12-15, 2007, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {4861},\n pages = {319--333},\n publisher = {Springer},\n year = {2007},\n url = {https://doi.org/10.1007/978-3-540-77048-0\\_25},\n doi = {10.1007/978-3-540-77048-0\\_25},\n timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/icics/Nowak07.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Nowak, D."],"editor_short":["Qing, S.","Imai, H.","Wang, G."],"key":"DBLP:conf/icics/Nowak07","id":"DBLP:conf/icics/Nowak07","bibbaseid":"nowak-aframeworkforgamebasedsecurityproofs-2007","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-77048-0_25"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/DavidNowak.bib","creationDate":"2020-06-02T14:36:01.592Z","downloads":0,"keywords":[],"search_terms":["framework","game","based","security","proofs","nowak"],"title":"A Framework for Game-Based Security Proofs","year":2007,"dataSources":["QsobDjoLrbY9ktAcA"]}