11 search results - page 2 / 3 » SeCReT: Secure Channel between Rich Execution Environment an... |
CSFW
2007
IEEE
13 years 11 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
CCS
2001
ACM
13 years 9 months ago
2001
ACM
This paper describes and analyzes a system architecture that enables consumers to access services and content from multiple providers without jeopardizing the privacy interests of...
SP
2007
IEEE
13 years 10 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
CSFW
1999
IEEE
13 years 9 months ago
1999
IEEE
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
SIGMOD
2010
ACM
13 years 9 months ago
2010
ACM
We present SecureBlox, a declarative system that unifies a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speci...