Login / Signup
A Logic for Auditing Accountability in Decentralized Systems.
Ricardo Corin
Sandro Etalle
J. I. den Hartog
Gabriele Lenzini
I. Staicu
Published in:
Formal Aspects in Security and Trust (2004)
Keyphrases
</>
distributed systems
logic programming
management system
cooperative
databases
knowledge based systems
intelligent systems
neural network
expert systems
case study
knowledge base
peer to peer
logic programs
search engine
access control
computer systems
real time
complex systems
asynchronous circuits