Towards a Declarative Language and System for Secure Networking.

Martín Abadi Boon Thau Loo

Published in: NetDB (2007)

Keyphrases

declarative language
deductive databases
modeling language
expert systems
peer to peer
standard model
key distribution
lightweight
distributed computing
security issues
covert channel
database
data mining
metadata
data sources
security requirements