71 search results - page 1 / 15 » A Typed Assembly Language for Non-interference |
90
Voted
CORR
2009
Springer
14 years 11 months ago
2009
Springer
127
Voted
TIC
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
119
Voted
ICTCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
201
Voted
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present the design of a typed assembly language called TALT that supports heterogeneous tuples, disjoint sums, and a general account of addressing modes. TALT also implements t...
115
Voted
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...