Scope of Security Properties of Sanitizable Signatures Revisited.

Hermann de Meer Henrich Christopher Pöhls Joachim Posegga Kai Samelin

Published in: ARES (2013)

Keyphrases

security properties
formal model
security analysis
security requirements
security protocols
cryptographic protocols
diffie hellman
security vulnerabilities
formal methods
case study
data management
operating system
smart card
key agreement