Merkliste 
 1 Ergebnisse 
 
1

Proving multilevel security of a system design:

Feiertag, R. J. ; Levitt, K. N. ; Robinson, L.
ACM SIGOPS Operating Systems Review.  11 (1977)  5 - p. 57-65 , 1977