Liqun Chen Paul Morrissey Nigel P. Smart On Proofs of Security for DAA Schemes. 156-175 2008 ProvSec http://dx.doi.org/10.1007/978-3-540-88733-1_11 conf/provsec/2008 db/conf/provsec/provsec2008.html#ChenMS08