SECURITY POLICIES AND SECURITY MODELS.

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

Volumn , Issue , 1982, Pages 11-20

  Goguen, J A ^a   Meseguer J , ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA-THEORETIC SYSTEM MODELING APPROACH; COMPUTER OPERATING SYSTEMS; DYNAMIC SECURITY ASPECTS; SECURE MESSAGE SYSTEMS; SECURITY MODELS; SECURITY POLICIES;

DATA PROCESSING;

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

References (0)