Introduction to software engineering for secure systems: SESS06 - secure by design.
Danilo BruschiBart De WinMattia MongaPublished in: SESS@ICSE (2006)
Keyphrases
- software engineering
- heterogeneous platforms
- design issues
- high assurance
- artificial intelligence
- building blocks
- formal methods
- software design
- design criteria
- software systems
- security analysis
- application level
- security issues
- development methodologies
- security patterns
- complex software systems
- design process
- lightweight
- knowledge based systems
- embedded systems
- knowledge engineering
- security requirements
- interactive systems
- management system
- user authentication
- database systems
- web services
- security mechanisms
- software engineers
- support systems
- sensitive data
- design principles
- smart card
- computer systems
- software development
- case study
- query language
- expert systems