1795 search results - page 24 / 359 » Security Models and Information Flow |
MPC
2010
Springer
13 years 11 months ago
2010
Springer
ICDCSW
2000
IEEE
13 years 11 months ago
2000
IEEE
ESORICS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
DEBS
2009
ACM
14 years 2 months ago
2009
ACM
Complex middleware frameworks are made out of interacting components which may include bugs. These frameworks are often extended to provide additional features by thirdparty exten...
POPL
2004
ACM
14 years 8 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 ...