117 search results - page 19 / 24 » Mediating secure information flow policies |
ICISS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Information integrity is a vital security property in a variety of applications. However, there is more than one facet to integrity: interpretations of integrity in diffe...
CCS
2010
ACM
13 years 10 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
PLDI
2009
ACM
14 years 4 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...
POPL
2008
ACM
14 years 10 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
EDOC
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper we sketch a framework supporting contract enactment within the context of virtual organisation units that are dynamically created in order to achieve a common object...