109 search results - page 2 / 22 » Information flow inference for free |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
SAS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
FLAIRS
2006
13 years 7 months ago
2006
FM
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
ESOP
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...