77 search results - page 8 / 16 » A Hardware Design Language for Timing-Sensitive Information-... |
COMPSEC
2008
14 years 10 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
CORR
2008
Springer
14 years 10 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...
ECMDAFA
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...
103
click to vote
SACRYPT
2000
Springer
15 years 1 months ago
2000
Springer
We present a new 128-bit block cipher called Camellia. Camellia supports 128-bit block size and 128-, 192-, and 256-bit keys, i.e. the same interface specifications as the Advanced...
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...