Treffer 1 - 10 von 10 für Suche 'MacEwen, Glenn H.', Suchdauer: 0,15s
Treffer weiter einschränken
-
1
A two-level security model for a secure network von Glasgow, Janice I., MacEwen, Glenn H.
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2
Introduction to computer systems using the PDP-11 and Pascal von MacEwen, Glenn H.
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3
Introduction to computer systems Using the PDP-11 and Pascal von MacEwen, Glenn H.
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
4
Introduction to computer systems using the PDP-11 and Pascal von MacEwen, Glenn H.
Veröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
The development and proof of a formal specification multi-level secure system von Glasgow, Janice I., MacEwen, Glenn H.
Veröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6
A computational model for distributed systems using operator nets von Glasgow, Janice I., MacEwen, Glenn H.
Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
7
Specification prototyping von MacEwen, Glenn H.
Veröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
8
A hierarchical security model for program certification systems von MacEwen, Glenn H.
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
9
The design for a secure system based on program analysis von MacEwen, Glenn H.
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10
Abstraction hierarchies in top-down design von MacEwen, Glenn H.
Veröffentlicht 1981Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …