Analyzing consistency of security policies

Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy

Volumn , Issue , 1997, Pages 103-112

  Cholvy, Laurence ^a   Cuppens, Frederic ^a  

^a ONERA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; LAWS AND LEGISLATION; PUBLIC POLICY;

DEONTIC FORMULAE;

SECURITY OF DATA;

EID: 0030705406     PISSN: 10637109     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)