On the consistency of distributed proofs with hidden subtrees.

Adam J. Lee Kazuhiro Minami Marianne Winslett

Published in: ACM Trans. Inf. Syst. Secur. (2010)

Keyphrases

distributed systems
communication cost
real time
multi agent
peer to peer
distributed environment
data mining
cooperative
relational databases
mobile agents
computer networks
consistency checking