146 search results - page 21 / 30 » Secure information flow for a concurrent language with sched... |
IFIP
2010
Springer
13 years 3 months ago
2010
Springer
Many cryptographic schemes have been designed to enforce information flow policies. However, enterprise security requirements are often better encoded, or can only be encoded, usin...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
APLAS
2008
ACM
13 years 10 months ago
2008
ACM
ion of Clocks in Synchronous Data-flow Systems Albert Cohen1 , Louis Mandel2 , Florence Plateau2 , and Marc Pouzet23 1 INRIA Saclay - Ile-de-France, Orsay, France 2 LRI, Univ. Pari...
ESORICS
2000
Springer
14 years 6 days ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...