|
|
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 talk presents, in the setting of abstract interpretation, a method to transform certificates of program correctness along program transformations. The article can be found there. |