1795 search results - page 24 / 359 » Security Models and Information Flow |
107
Voted
MPC
2010
Springer
15 years 7 months ago
2010
Springer
125
Voted
ICDCSW
2000
IEEE
15 years 7 months ago
2000
IEEE
151
click to vote
ESORICS
2010
Springer
15 years 3 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...
133
click to vote
DEBS
2009
ACM
15 years 10 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...
223
Voted
POPL
2004
ACM
16 years 3 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 ...