A Formal Security Design Approach for Transformation of Authorizations in Information Systems.

Yun Bai Vijay Varadharajan

Published in: PACIS (1997)

Keyphrases

information systems
access control
information security
security policies
security requirements
case study
engineering design
intrusion detection
network security
formal methods
information assurance
databases
anomaly detection
design process