High Integrity Software / River River Limited / Prentice-Hall / TIS Kernel Protection Profile SPRE Inc. / Simulated Device Software / IEEE Software / Requirements System / SPRE Inc. / Producing Reliable Software / Praxis High Integrity Systems Limited. / National Cyber Security Partnership / /
Country
United Kingdom / United States / /
Currency
pence / / /
Facility
Anthony Hall / EAL5 The Tokeneer ID Station / Abstract The Tokeneer ID Station / /
IndustryTerm
software system / assurance software applications / software engineering standards / cumulative processing time / formal methods tools / large systems / static analysis tools / systems / software-based security products / assurance software / low defect systems / Application software failures / information processing systems / real-time systems / off the shelf tools / /
Organization
National Security Agency / Software Technology Support Center / International Organization for Standardization / /
Person
James Widmaier / Steve King / Peter J. Denning / Randy Johnson / John Barnes / Bill Everett / Dorothy E. Denning / David Cooper / Addison Wesley / Rod Chapman / Janet Barnes / Jonathan Hammond / Andy Prior / Roderick Chapman / Robert Musson / /
Engineering the Tokeneer Enclave Protection Software Janet Barnes, Rod Chapman: Altran Randy Johnson, James Widmaier: National Security Agency David Cooper: River River Limited