Object Oriented Verification Kernels for Secure Java Applications.
Holger GrandyKurt StenzelWolfgang ReifPublished in: SEFM (2005)
Keyphrases
- object oriented
- cryptographic protocols
- integrity verification
- programming language
- data model
- high security
- relational databases
- model checking
- support vector
- object oriented programming
- database schema
- object oriented databases
- database applications
- kernel function
- security requirements
- java programs
- programming interface
- database design
- kernel methods
- query language
- multiple kernel
- software engineering
- formal verification
- object oriented database systems
- face verification
- security mechanisms
- security analysis
- formal analysis
- object oriented modeling
- linear combination
- database technology
- database
- signature verification
- standard model
- kernel learning