Results 1 - 10 of 1,509,722

Under consideration for publication in Theory and Practice of Logic Programming 1 Certificate Size Reduction in Abstraction-Carrying Code∗

by Elvira Albert, Puri Arenas
"... Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus ..."
Abstract - Add to MetaCart
Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays

Reduced Certificates for Abstraction-Carrying Code

by Elvira Albert, Puri Arenas, Germán Puebla, Manuel Hermenegildo - In Proc. of ICLP 2006 , 2005
"... Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certi ..."
Abstract - Cited by 6 (4 self) - Add to MetaCart
certificate and its generation is carried out automatically by a fixed-point analyzer. The advantage of providing a (fixedpoint) abstraction to the code consumer is that its validity is checked in a single pass of an abstract interpretation-based checker. A main challenge is to reduce the size of certificates

On Abstraction-Carrying Code and Certificate-Size Reduction

by Germán Puebla, Elvira Albert, Puri Arenas, Manuel Hermenegildo
"... Abstraction-Carrying Code (ACC) is a framework for mobile code safety in which model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is carried out automatically by a fixed-point analyzer. ..."
Abstract - Add to MetaCart
Abstraction-Carrying Code (ACC) is a framework for mobile code safety in which model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is carried out automatically by a fixed-point analyzer

Generation of Reduced Certificates in Abstraction-Carrying Code

by Elvira Albert, Puri Arenas, Germán Puebla, Manuel Hermenegildo
"... Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and ..."
Abstract - Add to MetaCart
Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate

Incremental Certificates and Checkers for Abstraction-Carrying Code

by Elvira Albert, Puri Arenas, Germán Puebla - In Sixth Workshop on Issues in the Theory of Security , 2006
"... Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for proof-carrying code (PCC) in which the code model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for proof-carrying code (PCC) in which the code model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation

Abstraction-Carrying Code

by Elvira Albert, Germán Puebla, Manuel Hermenegildo - In Proc. of LPAR’04, number 3452 in LNAI , 2005
"... Abstract. Proof-Carrying Code (PCC) is a general approach to mobile code safety in which programs are augmented with a certificate (or proof). The practical uptake of PCC greatly depends on the existence of a variety of enabling technologies which allow both to prove programs correct and to replace ..."
Abstract - Cited by 46 (21 self) - Add to MetaCart
Abstract. Proof-Carrying Code (PCC) is a general approach to mobile code safety in which programs are augmented with a certificate (or proof). The practical uptake of PCC greatly depends on the existence of a variety of enabling technologies which allow both to prove programs correct and to replace

Some Issues on Incremental Abstraction-Carrying Code

by Elvira Albert, Puri Arenas, Germán Puebla , 2007
"... Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for proof-carrying code (PCC) in which the code model of the program) whose validity entails compliance with a predefined safety policy. The abstraction thus plays the role of safety certificate and its generation (a ..."
Abstract - Add to MetaCart
Abstract. Abstraction-Carrying Code (ACC) has recently been proposed as a framework for proof-carrying code (PCC) in which the code model of the program) whose validity entails compliance with a predefined safety policy. The abstraction thus plays the role of safety certificate and its generation

PROLE 2006 Generation of Reduced Certificates in Abstraction-Carrying Code

by Elvira Albert, Puri Arenas, Manuel Hermenegildo
"... Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and ..."
Abstract - Add to MetaCart
Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate

An Incremental Approach to AbstractionCarrying Code

by Elvira Albert, Puri Arenas , 2006
"... Abstract. Abstraction-Carrying Code (ACC) has recently been pro-posed as a framework for Proof-Carrying Code (PCC) in which the code model of the program) whose validity entails compliance with a prede-¯ned safety policy. Existing approaches for PCC are developed under the assumption that the consum ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
Abstract. Abstraction-Carrying Code (ACC) has recently been pro-posed as a framework for Proof-Carrying Code (PCC) in which the code model of the program) whose validity entails compliance with a prede-¯ned safety policy. Existing approaches for PCC are developed under the assumption

Wavelets and Subband Coding

by Martin Vetterli, Jelena Kovačević , 2007
"... ..."
Abstract - Cited by 608 (32 self) - Add to MetaCart
Abstract not found
Results 1 - 10 of 1,509,722