汎用的結合可能性による暗号システムの安全性証明

Bibliographic Information

Other Title
  • ハンヨウテキ ケツゴウ カノウセイ ニ ヨル アンゴウ システム ノ アンゼンセイ ショウメイ
  • Security proof of cryptographic systems using universal composability theory
  • フォーマルアプローチ論文特集
  • フォーマルアプローチ ロンブン トクシュウ

Search this article

Journal

References(12)*help

See more

Details 詳細情報について

Report a problem

Back to top