Specification and static enforcement of scheduler-independent noninterference in a middleweight Java.
Zeinab IranmaneshMehran S. FallahPublished in: Comput. Lang. Syst. Struct. (2016)
Keyphrases
- web applications
- object oriented
- access control
- high level
- information systems
- resource utilization
- specification language
- development environment
- scheduling algorithm
- lightweight
- programming language
- source code
- reverse engineering
- security policies
- web services
- real time
- dynamic analysis
- java programs
- resource manager
- object oriented programs