|
[NPBG05]
R. Nagarajan, N. Papanikolaou, G. Bowen and S. Gay.
An Automated Analysis of the Security of Quantum Key Distribution.
In Proc. 3rd International Workshop on Security Issues in Concurrency (SecCo'05).
2005.
[bib]
http://www.dcs.warwick.ac.uk/~nikos/
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.dcs.warwick.ac.uk/~nikos/
|