Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions.
Johannes LoinigChristian StegerReinhold WeissErnst HaselsteinerPublished in: WISTP (2010)
Keyphrases
- source code
- embedded systems
- software systems
- static analysis
- java card
- open source
- symbolic execution
- software maintenance
- software projects
- low cost
- software evolution
- real time systems
- information security
- plagiarism detection
- security requirements
- cyber physical systems
- software architecture
- software components
- model checking
- software engineering
- free software
- real time
- software quality
- intrusion detection
- access control
- security issues
- program understanding
- software development
- website