A formal process for testing the consistency of composed security policies

Authors:
James Bret Michael
Affiliations:
-
Venue:
A formal process for testing the consistency of composed security policies
Year:
1993

Citing 0
Cited 2

Integration of formal and heuristic reasoning as a basis for testing and debugging computer security policy

NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Conflicts in Policy-Based Distributed Systems Management

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract