Award Year / Program / Phase:1983 / SBIR / Phase I
Agency / Branch:DOD / USAF
Principal Investigator:
Award Amount:$48,072.00
Abstract:
This effort addresses one aspect of the multifaceted computer security problem. a hardware\software system architecture will be developoed for a small stand alone microprocessor based multilevel secure (mls) computer system. the software verification methodologies normally heavily relied on in… More