Normative Specification: A Tool for Trust and Security.

Published in: Formal Aspects in Security and Trust (2005)

Keyphrases

access control
trust management
intrusion detection
high level
security issues
security services
trust negotiation
conceptual model
trust model
security requirements
trusted computing
information flow
privacy concerns
security mechanisms
trust relationships