Structured specification of a security kernel (English)
- New search for: Walter, K.G.
- New search for: Schaen, S.I.
- New search for: Ogden, W.F.
- New search for: Rounds, W.C.
- New search for: Shumway, D.G.
- New search for: Schaeffer, D.D.
- New search for: Biba, K.J.
- New search for: Bradshaw, F.T.
- New search for: Ames, S.R.
- New search for: Gilligan, J.M.
- New search for: Walter, K.G.
- New search for: Schaen, S.I.
- New search for: Ogden, W.F.
- New search for: Rounds, W.C.
- New search for: Shumway, D.G.
- New search for: Schaeffer, D.D.
- New search for: Biba, K.J.
- New search for: Bradshaw, F.T.
- New search for: Ames, S.R.
- New search for: Gilligan, J.M.
In:
Sigplan Notice - ACM
;
10
, 6
;
285-293
;
1975
- Article (Journal) / Print
-
Title:Structured specification of a security kernel
-
Additional title:Informationsfluss und Datensicherung
-
Contributors:Walter, K.G. ( author ) / Schaen, S.I. ( author ) / Ogden, W.F. ( author ) / Rounds, W.C. ( author ) / Shumway, D.G. ( author ) / Schaeffer, D.D. ( author ) / Biba, K.J. ( author ) / Bradshaw, F.T. ( author ) / Ames, S.R. ( author ) / Gilligan, J.M. ( author )
-
Published in:Sigplan Notice - ACM ; 10, 6 ; 285-293
-
Publisher:
-
Publication date:1975
-
Size:, 11 Quellen
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source: