Java Card Applet validation
Goals:
- Client satisfaction
- Security verification
Problems
- Many behaviors
- Many data
- Strong security properties, continuously reinforced
Approach
- Use object oriented approach for modeling: UML
- Use conformance testing for validation