論文

査読有り 本文へのリンクあり 国際誌
2009年5月

Computationally sound formalization of rerandomizable RCCA secure encryption

Formal to Practical Security, Lecture Notes in Computer Science
  • Yusuke Kawamoto
  • ,
  • Hideki Sakurada
  • ,
  • Masami Hagiya

5458
開始ページ
158
終了ページ
180
記述言語
英語
掲載種別
研究論文(学術雑誌)
DOI
10.1007/978-3-642-02002-5_9
出版者・発行元
Springer, Berlin, Heidelberg

リンク情報
DOI
https://doi.org/10.1007/978-3-642-02002-5_9
J-GLOBAL
https://jglobal.jst.go.jp/detail?JGLOBAL_ID=200902226928209830
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000270352900009&DestApp=WOS_CPL
URL
https://staff.aist.go.jp/yusuke.kawamoto/papers/SICS2009.pdf 本文へのリンクあり
ID情報
  • DOI : 10.1007/978-3-642-02002-5_9
  • ISSN : 0302-9743
  • ISSN : 1611-3349
  • eISSN : 1611-3349
  • J-Global ID : 200902226928209830
  • Web of Science ID : WOS:000270352900009

エクスポート
BibTeX RIS