The rho-spi Calculus at Work: Authentication Case Studies.

Riccardo Focardi Matteo Maffei

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

case study
lessons learned
open source
real world
image authentication
biometric authentication
fragile watermarking
identity authentication
computer algebra
literature review
formal language
user authentication
authentication scheme
security analysis
software development
knowledge management
data mining