Towards formal system-level verification of security requirements during hardware/software codesign.
Johannes LoinigChristian StegerReinhold WeissErnst HaselsteinerPublished in: SoCC (2010)
Keyphrases
- hardware software
- security requirements
- hardware and software
- hw sw
- embedded systems
- security analysis
- smart card
- design methodology
- access control
- hardware design
- high performance computing
- multi core processors
- information security
- security policies
- high security
- software architecture
- formal methods
- security mechanisms
- model checking
- relational databases
- low cost
- multi agent systems
- information systems
- object oriented