409 search results - page 1 / 82 » Flexible Scheduler-Independent Security |
ESORICS
2010
Springer
13 years 4 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...
CSFW
2008
IEEE
13 years 11 months ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...
TRIDENTCOM
2010
IEEE
13 years 2 months ago
2010
IEEE
The Internet enables the way how global businesses and communities communicate today. In the last years, however, new demands have collided with old designs, resulting in a complex...
TII
2010
12 years 11 months ago
2010
Software intellectual property (SWIP) is a critical component of increasingly complex field programmable gate arrays (FPGA)-based system-on-chip (SOC) designs. As a result, develop...
ACISP
2003
Springer
13 years 9 months ago
2003
Springer
