Safe and Secure Computing Systems
Thomas E. Anderson · Blackwell Science, Inc. eBooks · 1989
Aspects of the licensing and assessment of highly dependable computer systems an engineering approach to security evaluation some comments on program verification systems guidelines, standards, tools and practices for safe industrial computer systems errors, faults and failures - a model secure databases and safety - some unexpected conflicts a new approach to secure systems analysis programming the Viper microprocessor safety-critical software development assurance authentication dependable computing system Kernals for safety requirements and environmental issues in safety and security software security analysis and the denial of service problem very high reliability computer systems.