Survey of Approaches for Security Verification of Hardware/Software Systems.
Onur DemirWenjie XiongFaisal ZaghloulJakub SzeferPublished in: IACR Cryptol. ePrint Arch. (2016)
Keyphrases
- software systems
- high assurance
- functional requirements
- software engineering
- source code
- software design
- software architecture
- software components
- software maintenance
- software development
- multi agent systems
- software evolution
- software engineers
- access control
- metamodel
- software quality
- model checking
- information security
- linux kernel
- emergent behavior
- product lines
- complex software systems
- real world
- software intensive systems
- legacy software systems