Abstract | ||
---|---|---|
In this tutorial we will consider abstract non-interference as a formal model for reasoning about language based security. Abstract non-interference generalises standard non-interference by modelling the information leaked as abstract properties of concrete ... |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/SEFM.2008.10 | SEFM |
Keywords | Field | DocType |
abstract non-interference,hybrid verification methods,proof pbligations,abstract property,standard non-interference,formal model,source code,static analysis | Functional verification,Programming language,Computer science,Intelligent verification,Static analysis,Runtime verification,Theoretical computer science,Proof-carrying code,Symbolic execution,High-level verification,Software verification | Conference |
Citations | PageRank | References |
3 | 0.40 | 19 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gilles Barthe | 1 | 2337 | 152.36 |
César Kunz | 2 | 167 | 10.81 |
david pichardie | 3 | 488 | 33.73 |
Julián Samborski-Forlese | 4 | 3 | 0.40 |