2335 search results - page 14 / 467 » Securing Distributed Systems with Information Flow Control |
108
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...
121
click to vote
DEON
2008
Springer
15 years 3 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
108
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Application security is typically coded in the application. In kernelSec, we are investigating mechanisms to implement application security in an operating system kernel. The mech...
135
click to vote
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
133
click to vote
TMM
2002
15 years 1 months ago
2002
Abstract--The Internet provides a universal platform for largescale distribution of information and supports inter-organizational services, system integration, and collaboration. U...