Actions for Security Kernel Verification Techniques: Algorithmic Representation

Email RIS file
Bookmark
Report an Issue

Security Kernel Verification Techniques: Algorithmic Representation

Published
Ft. Belvoir, Va. : Defense Technical Information Center, [between 1900 and 1999?]
Physical Description
microfiche
Additional Creators
Defense Technical Information Center (U.S.)

Availability

Browse Nearby on Shelf
I Want It
I Want It

Finding items...

Collection
NTIS technical reports on microfiche.
Note
Technical reports that begin with the letters AD were issued by the Department of Defense.
ADA054098
View MARC record | catkey: 30283338