Formal verification of an aperating system security kernal

SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

RECORD DETAIL

Title	Formal verification of an aperating system security kernal
Edition
Call Number	001.642 KEM
ISBN/ISSN
Author(s)	Kemmerer, R. A. - Personal Name
Subject(s)	Computers - Access Control Unix (comp. System) Operating System (comp)
Classification	001.642
Series Title
GMD	Text
Language	English
Publisher	Umi Research Press
Publishing Year	1982
Publishing Place	Michigan
Collation	317p
Abstract/Notes
Specific Detail Info
Image
File Attachment	LOADING LIST...
Availability	LOADING LIST...
	Back To Previous

Select Language

Title :
Author(s) :

Subject(s) :

Call # :
ISBN/ISSN :
GMD : Collection Type : Location :

Implemented by: Anees ur Rehman