Towards secure distributed computations

In this paper, we present an infrastructure for securing distributed computations between hosts, using a novel technique called Proof Carrying Results. This technique is based on Necula's proof carrying code. Basically, the result of some computation comes equipped with a certicate, or witness, show...

Full description

Bibliographic Details

Main Author:	Zipitría, Felipe (author)
Format:	report
Published:	2009
Subjects:	Proof Carrying Results Seguridad en Computación Computer Security
Online Access:	http://hdl.handle.net/20.500.12008/3440
Tags:	Add Tag No Tags, Be the first to tag this record!