Geneva / Cheltenham / Norwood / New York / Los Alamitos / Reading / Bath / /
Company
Prentice-Hall / Training Design / Abbreviations Background Praxis Critical Systems / UIS / Communications-Electronics Security Group / IEEE CS Press / IEEE Software / IPL / Praxis Critical Systems Ltd. / W Praxis Critical Systems / Microsoft / John Wiley & Sons / Mondex International / /
Country
United Kingdom / /
Currency
USD / / /
Facility
University of York / A. Hall / Authors Anthony Hall / Oxford University / Building Dependable Distributed Systems / Digital Library / /
IndustryTerm
software engineering / sound protocols / software builds / secure systems / integrity systems / safetycritical systems / software modules / centered software architecture / highintegrity systems / offthe-shelf hardware / cryptographic algorithm / failuresdivergence refinement tool / interprocess communications / real-time and embedded systems / conventional software construction methods / real-world applications / static-analysis tools / software-intensive systems / demonstrator applications / concurrent processing / individual processing / application software / cryptographic hardware / safety-critical systems / infrastructure software / networked computer systems / /
OperatingSystem
Windows NT / /
Organization
University of York / Certification Authority / British Computer Society / Int’l Organization for Standardization / Oxford University / Certification Authority for the Multos / /
Person
Ross Anderson / John Beric / Specification / Roderick Chapman / /
Position
specialist / UR Requirements User requirements Formal security policy model / author / gov. uk www.commoncriteria.org www.afm.sbu.ac.uk Spark Mondex Multos ITSEC Common Criteria Formal methods / keynote speaker / principal consultant / Chartered Engineer / software engineer / Engineer / member / /
Product
Spark / Z7 / /
ProgrammingLanguage
C / Ada / C++ / /
ProvinceOrState
New Jersey / New York / California / Massachusetts / /
PublishedMedium
IEEE Software / /
RadioStation
KLOC / /
Technology
confidential information encryption / Information Technology / smart card / specification high-level design Information Technology / Corba / operating system / cryptography / development technologies / GUI / /
Correctness by Construction: Developing a Commercial Secure System Anthony Hall and Roderick Chapman