![]() |
@article{DBLP:journals/jcs/GrayIL98,
author = {James W. Gray III and
Kin Fai Epsilon Ip and
King-Shan Lui},
title = {Provable Security for Cryptographic Protocols - Exact Analysis
and Engineering Applications},
journal = {Journal of Computer Security},
volume = {6},
number = {1-2},
year = {1998},
pages = {23-52},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2004-03-03 by Michael Ley (ley@uni-trier.de)