Source code verification of a secure payment applet.
Bart JacobsMartijn OostdijkMartijn WarnierPublished in: J. Log. Algebraic Methods Program. (2004)
Keyphrases
- source code
- java card
- static analysis
- symbolic execution
- open source
- electronic payment
- software systems
- open source software
- software maintenance
- software projects
- smart card
- model checking
- program understanding
- software evolution
- open source projects
- high level
- security requirements
- software repositories
- linux kernel
- program comprehension
- execution traces
- code reuse
- manual inspection
- object oriented systems
- test generation
- security mechanisms
- software engineers
- security issues
- visual basic
- plagiarism detection
- maintenance activities
- version control
- lightweight
- free software
- object oriented
- mining software repositories
- bug localization
- multi agent systems