A Static Verification Framework for Secure Peer-to-Peer Applications.

Published in: ICIW (2007)

Keyphrases

peer to peer
main contribution
database
digital libraries
neural network
data mining
information systems
theoretical framework
formal verification