Security monitor inlining and certification for multithreaded Java.
Mads DamBart JacobsAndreas LundbladFrank PiessensPublished in: Math. Struct. Comput. Sci. (2015)
Keyphrases
- information security
- real time
- intrusion detection
- security issues
- java card
- security requirements
- access control
- database security
- multithreading
- mobile agent system
- security analysis
- security mechanisms
- statistical databases
- security policies
- third party
- monitoring system
- database applications
- distributed systems
- web applications
- programming language
- instruction scheduling
- development environment
- virtual machine
- network security
- smart card
- source code