Development of Security Software: A High Assurance Methodology.
David S. HardinT. Douglas HiratzkaD. Randolph JohnsonLucas G. WagnerMichael W. WhalenPublished in: ICFEM (2009)
Keyphrases
- security requirements
- high assurance
- access control
- software architecture
- security policies
- information security
- software systems
- software engineering
- distributed systems
- software design
- development process
- technical issues
- product line
- software developers
- soft systems
- hardware platforms
- software development
- fault tolerant
- operating system
- development effort
- user interface
- computer network security
- software application
- programming environments
- embedded systems
- cross platform
- software quality
- communication technologies
- information systems
- project management
- source code
- data analysis
- case study