Number of items: 2.
2004
Corin, R. and Etalle, S. and Hartog den, J. and Lenzini, G. and Staicu, I. (2004) A Logic for Auditing Accountability in Decentralized Systems. In: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France.
Corin, R. and Etalle, S. and Hartog den, J. and Lenzini, G. and Staicu, I. (2004) A Logic for Auditing Accountability in Decentralized Systems. [Report]
This list was generated on Sat May 25 06:07:28 2013 CEST.
Back to University of Twente portal