329 search results - page 47 / 66 » A Theory of Secure Control Flow |
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
: A light-trail is a generalized lightpath that enables multiple nodes to statistically share an optical communication path (wavelength bus). A light-trail is different from a ligh...
136
click to vote
ICETE
2004
15 years 1 months ago
2004
ser provides abstraction for supporting flexible security policies that can be developed using the low-level primitives of the browser. We believe our browser architecture will be ...
215
click to vote
POPL
2006
ACM
16 years 4 days ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
CCS
2010
ACM
15 years 21 hour 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...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— Trust management, broadly intended as the ability to maintain belief relationship among entities, is recognized as a fundamental security challenge for autonomous and selforgan...