22 search results - page 5 / 5 » The problem of verification with reference to the Girkmann p... |
JCST
2010
13 years 16 days ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
TISSEC
2010
13 years 14 days 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'...