1183 search results - page 44 / 237 » On flow-sensitive security types |
150
click to vote
IJISEC
2007
15 years 4 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 ...
260
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
138
click to vote
HASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Current annotation technologies suffer from poor coverage over the development process phases, limited support for the broad scope of the security requirement types and inadequate...
150
click to vote
WETICE
2002
IEEE
15 years 9 months ago
2002
IEEE
Networks of wireless microsensors for monitoring physical environments have emerged as an important new application area for the wireless technology. Key attributes of these new t...
107
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...