Reasoning About Secrecy for Active Networks.

Pankaj Kakkar Carl A. Gunter Martín Abadi

Published in: J. Comput. Secur. (2003)

Keyphrases

genetic algorithm
social networks
real world
information systems
spatial reasoning
neural network
bayesian networks
wireless networks
computer networks
community detection
active databases
cellular networks
security analysis
network size
formal theory