Inproceedings,
A modular correctness proof of IEEE 802.11i and TLS.
C. He, M. Sundararajan, A. Datta, A. Derek, and J. Mitchell.CCS, page 2-15. ACM, (2005)
Meta data
- BibTeX key
- conf/ccs/HeSDDM05
- entry type
- inproceedings
- booktitle
- CCS
- year
- 2005
- pages
- 2-15
- publisher
- ACM
- crossref
- conf/ccs/2005
- ee
- https://doi.org/10.1145/1102120.1102124
- isbn
- 1-59593-226-7
- url
- http://dblp.uni-trier.de/db/conf/ccs/ccs2005.html#HeSDDM05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ccs/HeSDDM05
%A He, Changhua
%A Sundararajan, Mukund
%A Datta, Anupam
%A Derek, Ante
%A Mitchell, John C.
%B CCS
%D 2005
%E Atluri, Vijay
%E Meadows, Catherine
%E Juels, Ari
%I ACM
%K dblp
%P 2-15
%T A modular correctness proof of IEEE 802.11i and TLS.
%U http://dblp.uni-trier.de/db/conf/ccs/ccs2005.html#HeSDDM05
%@ 1-59593-226-7
@inproceedings{conf/ccs/HeSDDM05,
added-at = {2020-11-10T00:00:00.000+0100},
author = {He, Changhua and Sundararajan, Mukund and Datta, Anupam and Derek, Ante and Mitchell, John C.},
biburl = {https://www.bibsonomy.org/bibtex/2294d4fd65a81a2b9d92c0912f699e808/dblp},
booktitle = {CCS},
crossref = {conf/ccs/2005},
editor = {Atluri, Vijay and Meadows, Catherine and Juels, Ari},
ee = {https://doi.org/10.1145/1102120.1102124},
interhash = {2c6721304c12ebc113e46503e371458a},
intrahash = {294d4fd65a81a2b9d92c0912f699e808},
isbn = {1-59593-226-7},
keywords = {dblp},
pages = {2-15},
publisher = {ACM},
timestamp = {2024-04-09T10:13:42.000+0200},
title = {A modular correctness proof of IEEE 802.11i and TLS.},
url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2005.html#HeSDDM05},
year = 2005
}