サクサク読めて、アプリ限定の機能も多数!
型システムを利用した、セキュリティプロトコルのゼロ知識証明、、、ってなんのことやらまったくわかりません。
kgbu のブックマーク 2008/11/19 13:35
Type-Checking Zero Knowledge | Lambda the Ultimate[型理論][証明][security][論文][あとで読む]型システムを利用した、セキュリティプロトコルのゼロ知識証明、、、ってなんのことやらまったくわかりません。2008/11/19 13:35
このブックマークにはスターがありません。 最初のスターをつけてみよう!
lambda-the-ultimate.org2008/11/19
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
型システムを利用した、セキュリティプロトコルのゼロ知識証明、、、ってなんのことやらまったくわかりません。
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Type-Checking Zero Knowledge | Lambda the Ultimate
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /