Reasoning about Secrecy for Active Networks.

Pankaj Kakkar Carl A. Gunter Martín Abadi

Published in: CSFW (2000)

Keyphrases

social networks
network design
qualitative reasoning
heterogeneous networks
network structure
computer networks
complex networks
spread spectrum
security analysis
biological networks
network analysis
data sets
complex systems
probabilistic model
database systems
search engine
genetic algorithm
neural network