Nicola Dragoni Mauro Gaspari Performative Patterns for Designing Verifiable ACLs. 375-387 2006 conf/cia/2006 CIA http://dx.doi.org/10.1007/11839354_27 db/conf/cia/cia2006.html#DragoniG06