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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | report |
| Vydáno: |
2009
|
| Témata: | |
| On-line přístup: | http://hdl.handle.net/20.500.12008/3440 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|