Sign in
A Static Verification Framework for Secure Peer-to-Peer Applications.
Andrea Zisman
Published in:
ICIW (2007)
Keyphrases
</>
peer to peer
main contribution
database
digital libraries
neural network
data mining
information systems
theoretical framework
formal verification