127 search results - page 26 / 26 » Compiler Verification in LF |
CORR
2010
Springer
13 years 7 days ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
TISSEC
2010
12 years 12 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...