77 search results - page 5 / 16 » A Hardware Design Language for Timing-Sensitive Information-... |
103
click to vote
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
97
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
214
Voted
POPL
2005
ACM
16 years 17 days ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
108
click to vote
SIGCOMM
2010
ACM
15 years 14 days ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
186
Voted
POPL
2004
ACM
16 years 17 days 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 ...