Abstract | ||
---|---|---|
A certificate is a mathematical object that can be used to establish that a piece of mobile code satisfies some security policy.
Since in general certificates cannot be generated automatically, there is an interest in developing methods to reuse certificates.
This article formalises in the setting of abstract interpretation a method to transform certificates of program correctness
along program transformations.
|
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-78739-6_28 | European Symposium on Programming |
Keywords | Field | DocType |
abstract interpretation,article formalises,program transformation,security policy,mathematical object,mobile code,certificate translation,general certificate,program correctness,satisfiability | Mathematical object,Programming language,Program transformation,Abstract interpretation,Computer science,Reuse,Correctness,Theoretical computer science,Program analysis,Security policy,Certificate | Conference |
Volume | ISSN | ISBN |
4960 | 0302-9743 | 3-540-78738-0 |
Citations | PageRank | References |
14 | 0.77 | 13 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gilles Barthe | 1 | 2337 | 152.36 |
César Kunz | 2 | 167 | 10.81 |