MPG.eBooks - Search Results - "Auditing"

Cover Image

1

Formal Aspects in Security and Trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France

Published 2005

Springer US

Table of Contents: “... Constraints -- A Logic for Auditing Accountability in Decentralized Systems -- A Formal Approach to Specify...”