サクサク読めて、アプリ限定の機能も多数!
ハッシュを使うと, Formal MethodとUCでギャップが出来る
smoking186 のブックマーク 2007/05/02 10:35
Cryptology ePrint Archive 2006/068 - M. Backes, B. Pfitzmann, M. Waidner "Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes"[+Crypt][_Paper][-FormalMethod][-HashFunction][_Logic] ハッシュを使うと, Formal MethodとUCでギャップが出来る2007/05/02 10:35
このブックマークにはスターがありません。 最初のスターをつけてみよう!
eprint.iacr.org2007/05/02
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
ハッシュを使うと, Formal MethodとUCでギャップが出来る
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Cryptology ePrint Archive 2006/068 - M. Backes, B. Pfitzmann, M. Waidner "Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes"
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /