Abstract | ||
---|---|---|
This paper presents an approach to analyze stack-based assembly code with respect to leakages of private information. We consider systems implementing a multilevel security policy, where the security levels form a lattice. The approach is based on abstract interpretation of the operational semantics. We consider a representative subset of instructions of conventional stack-based assembly languages... |
Year | DOI | Venue |
---|---|---|
2004 | 10.1093/comjnl/47.1.25 | The Computer Journal |
Keywords | Field | DocType |
information flow | Information flow (information theory),Programming language,Computer science,Abstract interpretation,Theoretical computer science,Assembly language | Journal |
Volume | Issue | ISSN |
47 | 1 | 0010-4620 |
Citations | PageRank | References |
5 | 0.42 | 5 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Roberto Barbuti | 1 | 866 | 81.03 |
Cinzia Bernardeschi | 2 | 226 | 31.87 |
Nicoletta De Francesco | 3 | 335 | 58.76 |