Specification and verification of security policies

Specification and Verification of Security Policies in Firewalls

EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology

A Logic of Composition for Information Flow Predicates

CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations

Combining logics for modelling security policies

ACSC '05 Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38

A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies

Electronic Notes in Theoretical Computer Science (ENTCS)