224 search results - page 28 / 45 » An Information Flow Verifier for Small Embedded Systems |
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
GI
2009
Springer
14 years 5 days ago
2009
Springer
: The use of public transport vehicles, such as trams, buses, and taxis as an advertising space is increasing since several years. However mainly the outside of the vehicles is use...
TISSEC
2010
13 years 2 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'...
ESORICS
2011
Springer
12 years 7 months ago
2011
Springer
The rapid progress of human genome studies leads to a strong demand of aggregate human DNA data (e.g, allele frequencies, test statistics, etc.), whose public dissemination, howeve...
SAMOS
2010
Springer
13 years 5 months ago
2010
Springer
OpenCL is a programming language standard which enables the programmer to express the application by structuring its computation as kernels. The OpenCL compiler is given the explic...