2486 search results - page 38 / 498 » A Type System for Computationally Secure Information Flow |
DAC
2003
ACM
14 years 9 months ago
2003
ACM
This paper describes a case study and design flow of a secure embedded system called ThumbPod, which uses cryptographic and biometric signal processing acceleration. It presents t...
ESORICS
2004
Springer
14 years 12 days ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
ACSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
JavaScript-based browser extensions (JSEs) enhance the core functionality of web browsers by improving their look and feel, and are widely available for commodity browsers. To ena...
CSFW
2000
IEEE
14 years 1 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
ESORICS
2003
Springer
14 years 1 months ago
2003
Springer
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...