BibTeX record conf/ccs/HeSDDM05

• > Home > conf/ccs/HeSDDM05

@inproceedings{DBLP:conf/ccs/HeSDDM05,
  author       = {Changhua He and
                  Mukund Sundararajan and
                  Anupam Datta and
                  Ante Derek and
                  John C. Mitchell},
  editor       = {Vijay Atluri and
                  Catherine Meadows and
                  Ari Juels},
  title        = {A modular correctness proof of {IEEE} 802.11i and {TLS}},
  booktitle    = {Proceedings of the 12th {ACM} Conference on Computer and Communications
                  Security, {CCS} 2005, Alexandria, VA, USA, November 7-11, 2005},
  pages        = {2--15},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1102120.1102124},
  doi          = {10.1145/1102120.1102124},
  timestamp    = {Tue, 19 Sep 2023 14:44:32 +0200},
  biburl       = {https://dblp.org/rec/conf/ccs/HeSDDM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}