353 search results - page 16 / 71 » A Policy Model for Secure Information Flow |
POPL
2005
ACM
14 years 8 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...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Deeply embedded infrastructures are pervasive systems that have significant cyber and physical components, interacting with each other in complex ways. These interactions can vio...
COMPSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
To-date, security analysis techniques focus on the explicit access to data, thereby neglecting information flows happening over covert channels. As a result, critical business so...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
DANCE
2002
IEEE
14 years 17 days ago
2002
IEEE
In this paper we define and provide a general construction for a class of policies we call dynamic policies. In most existing systems, policies are implemented and enforced by ch...