2005-03-24から1日間の記事一覧
を読んだ。内容としては、プログラムの配布者はプログラムを配布する時にそのプログラムの正当性を示した証明を付加し、プログラムを実行する側はその証明を検証することでそのプログラムの安全性を確かめた上で実行できるようになるという話。 やっているこ…
を読んだ。内容としては、プログラムの配布者はプログラムを配布する時にそのプログラムの正当性を示した証明を付加し、プログラムを実行する側はその証明を検証することでそのプログラムの安全性を確かめた上で実行できるようになるという話。 やっているこ…