Logical framework for reasoning on data access control policies

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1999, Pages 175-189

  Bertino, Elisa ^a   Ferrari, Elena ^a   Buccafurri, Francesco ^a   Rullo, Pasquale ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); INFORMATION MANAGEMENT; LINGUISTICS; LOGIC PROGRAMMING; MANAGEMENT INFORMATION SYSTEMS; SECURITY OF DATA;

DATA ACCESS CONTROL; LOGIC RULES;

FORMAL LOGIC;

EID: 0032691796     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (26)