Certificate Translation in Abstract Interpretation


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… (More)
DOI: 10.1007/978-3-540-78739-6_28
View Slides


6 Figures and Tables

Slides referencing similar topics