The Role of the Development Process in Operating System Security
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 277-291
- https://doi.org/10.1007/3-540-44456-4_21
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Mathematics, technology, and trust: formal verification, computer security, and the U.S. militaryIEEE Annals of the History of Computing, 1997
- A technique to include computer security, safety, and resilience requirements as part of the requirements specificationJournal of Systems and Software, 1995
- Why cryptosystems failCommunications of the ACM, 1994
- A new approach to security system developmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1994
- Information systems security design methodsACM Computing Surveys, 1993
- Trusted products evaluationCommunications of the ACM, 1992
- A comment on the ‘basic security theorem’ of Bell and LaPadulaInformation Processing Letters, 1985