STRUCTURED SPECIFICATION OF A SECURITY KERNEL.

Volumn , Issue , 1975, Pages 285-293

  Walter, K G ^a   Schaen, S I ^a   Ogden, W F ^a   Rounds, W C ^a   Shumway, D G ^a   Schaeffer, D D ^a   Biba, K J ^a   Bradshaw, F T ^a   Ames, S R ^a   Gilligan, J M ^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

References (11)