![]() |
@book{DBLP:books/sp/ChenZZ2008,
author = {Qingfeng Chen and
Chengqi Zhang and
Shichao Zhang},
title = {Secure Transaction Protocol Analysis: Models and Applications},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5111},
year = {2008},
isbn = {978-3-540-85073-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-09-05 by Michael Ley (ley@uni-trier.de)