Security Policy Refinement: High-Level Specification to Low-Level Implementation.

Xia Yang Jim Alves-Foss

Published in: SocialCom (2013)

Keyphrases

high level
low level
security policies
higher level
access control
low level features
lower level
mid level
security management
model based testing
programming language
middle level
high level programming
semantic information
network security
distributed systems
network management
security requirements
event logs