Login / Signup

Verifiable Shuffles: A Formal Model and a Paillier-Based Efficient Construction with Provable Security.

Lan NguyenReihaneh Safavi-NainiKaoru Kurosawa
Published in: ACNS (2004)
Keyphrases
  • formal model
  • security properties
  • security patterns
  • access control
  • security requirements
  • intrusion detection
  • statistical databases
  • lightweight
  • construction process