On Proofs of Security for DAA Schemes.

Liqun Chen, Paul Morrissey, Nigel P. Smart

Browse the full ProvSec paper archive.