|
Volumn , Issue , 1975, Pages 285-293
|
STRUCTURED SPECIFICATION OF A SECURITY KERNEL.
a
a
NONE
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTER OPERATING SYSTEMS - MATHEMATICAL MODELS;
COMPUTER PROGRAMMING - STRUCTURED PROGRAMMING;
DATA PROCESSING;
|
EID: 0016726281
PISSN: None
EISSN: None
Source Type: Journal
DOI: None Document Type: Conference Paper |
Times cited : (9)
|
References (11)
|