Buscar

 

RI UFLA (Universidade Federal de Lavras) >
Revistas UFLA >
Infocomp >

Please use this identifier to cite or link to this item: http://repositorio.ufla.br/jspui/handle/1/10241

Title: Proof carrying code
???metadata.dc.creator???: Mahajan, Manish
Keywords: Proof-carrying code
Verification condition
VCGen
Safety policy
Code consumer
Code producer
Proof producer
Código de prova
Condição de verificação
Política de segurança
Código do consumidor
Código do produtor
Produtor de prova
Publisher: Editora da UFLA
???metadata.dc.date???: 1-Dec-2007
Citation: MAHAJAN, M. Proof carrying code. INFOCOMP: Journal of Computer Science, Lavras, v. 6, n. 4, p. 1-6, Dec. 2007.
Abstract: Proof-Carrying Code (PCC) is a technique that can be used for safe execution of untrusted code. In a typical instance of PCC, a code receiver establishes a set of safety rules that guarantee safe behavior of programs, and the code producer creates a formal safety proof that proves, for the untrusted code, adherence to the safety rules. Then, the receiver is able to use a simple and fast proof validator to check, with certainty that the proof is valid and hence the untrusted code is safe to execute.
Other Identifiers: http://www.dcc.ufla.br/infocomp/index.php/INFOCOMP/article/view/189
???metadata.dc.language???: eng
Appears in Collections:Infocomp

Files in This Item:

There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


View Statistics

 


DSpace Software Copyright © 2002-2010  Duraspace - Feedback