@inproceedings{DBLP:conf/icics/KudoM99,
author = {Michiharu Kudo and
Anish Mathuria},
title = {An Extended Logic for Analyzing Timed-Release Public-Key
Protocols},
booktitle = {ICICS},
year = {1999},
pages = {183-198},
ee = {http://dx.doi.org/10.1007/978-3-540-47942-0_16},
crossref = {DBLP:conf/icics/1999},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icics/1999,
editor = {Vijay Varadharajan and
Yi Mu},
title = {Information and Communication Security, Second International
Conference, ICICS'99, Sydney, Australia, November 9-11,
1999, Proceedings},
booktitle = {ICICS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1726},
year = {1999},
isbn = {3-540-66682-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
