Login / Signup
Verifiable shuffles: a formal model and a Paillier-based three-round construction with provable security.
Lan Nguyen
Reihaneh Safavi-Naini
Kaoru Kurosawa
Published in:
Int. J. Inf. Sec. (2006)
Keyphrases
</>
formal model
security properties
security patterns
security issues
intrusion detection
sufficient conditions
steel industry
computer security
formal models
access control
security requirements
predicate calculus
information security
statistical databases
security analysis
security level
network security