1150 search results - page 7 / 230 » Specifying Information-Flow Controls |
124
Voted
IJISEC
2007
15 years 1 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
117
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
113
click to vote
FM
2008
Springer
15 years 3 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...
98
Voted
POPL
2010
ACM
15 years 6 months ago
2010
ACM
IFIP
2009
Springer
15 years 6 months ago
2009
Springer