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. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Barthe, G., & Kunz, C. (2008). Certificate translation in abstract interpretation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4960 LNCS, pp. 368–382). https://doi.org/10.1007/978-3-540-78739-6_28
Mendeley helps you to discover research relevant for your work.