Login / Signup
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols.
John C. Mitchell
Ajith Ramanathan
Andre Scedrov
Vanessa Teague
Published in:
Theor. Comput. Sci. (2006)
Keyphrases
</>
cryptographic protocols
special case
real time
data analysis
high dimensional
similarity measure
knn
image quality