Enforcing Security Policies via Types.

Daniele Gorla Rosario Pugliese

Published in: SPC (2003)

Keyphrases

security policies
access control
security management
network security
security requirements
distributed systems
fine grained
databases
access control policies
home network
access control systems
machine learning
information systems
model selection
smart card
security concerns