• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

センサネットワークの安全・安心を保証する情報セキュリティ技術の研究

研究課題

研究課題/領域番号 21240001
研究種目

基盤研究(A)

配分区分補助金
応募区分一般
研究分野 情報学基礎
研究機関北陸先端科学技術大学院大学

研究代表者

宮地 充子  北陸先端科学技術大学院大学, 情報科学研究科, 教授 (10313701)

研究分担者 廣瀬 勝一  福井大学, 工学(系)研究科(研究院), 教授 (20228836)
双紙 正和  広島市立大学, 情報科学研究科, 准教授 (00293142)
岡崎 裕之  信州大学, 工学部, 助教 (50432167)
研究期間 (年度) 2009-04-01 – 2015-03-31
研究課題ステータス 完了 (2014年度)
配分額 *注記
46,410千円 (直接経費: 35,700千円、間接経費: 10,710千円)
2013年度: 9,100千円 (直接経費: 7,000千円、間接経費: 2,100千円)
2012年度: 9,100千円 (直接経費: 7,000千円、間接経費: 2,100千円)
2011年度: 9,100千円 (直接経費: 7,000千円、間接経費: 2,100千円)
2010年度: 9,100千円 (直接経費: 7,000千円、間接経費: 2,100千円)
2009年度: 10,010千円 (直接経費: 7,700千円、間接経費: 2,310千円)
キーワード暗号・認証等 / センサーネットワーク / 暗号・承認等 / センサネットワーク
研究成果の概要

近年,機器の小型化や省電力化に伴い,各機器をセンサネットワークで認証・接続し,情報の共有や処理を行うアプリケーションが期待されている.その際,共有情報のグループ外での秘匿化,完全性保証が信頼性確保のためには必須である.本研究では,①非均質型端末間のグループ鍵共有プロトコル②鍵共有におけるハッシュ関数の応用③形式言語による安全性証明④安全なグループ鍵共有方式のシミュレーション を行い,特に端末の能力に応じたフレキシブルなネットワークで,受動攻撃モデルで安全なグループ鍵共有方式を構築した.さらにT(<n)端末の故障に対しても安全な鍵共有方式も提案した.

報告書

(6件)
  • 2014 研究成果報告書 ( PDF )
  • 2013 実績報告書
  • 2012 実績報告書
  • 2011 実績報告書
  • 2010 実績報告書
  • 2009 実績報告書
  • 研究成果

    (208件)

すべて 2015 2014 2013 2012 2011 2010 2009 その他

すべて 雑誌論文 (137件) (うち査読あり 99件、 オープンアクセス 19件) 学会発表 (69件) (うち招待講演 9件) 図書 (2件)

  • [雑誌論文] enPiT における教育効果測定の実践と評価2015

    • 著者名/発表者名
      山本雅基,小林隆志,宮地充子,奥野拓,粂野文洋,櫻井浩子,海上智昭,春名修介,井上克郎
    • 雑誌名

      コンピュータソフトウェア

      巻: Vol. 32, No.1 ページ: 213-219

    • NAID

      40020582107

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] Self-healing wireless sensor networks2015

    • 著者名/発表者名
      Atsuko Miyaji and Kazumasa Omote
    • 雑誌名

      Concurrency and Computation: Practice and Experience

      巻: - 号: 10 ページ: 2547-2568

    • DOI

      10.1002/cpe.3434

    • NAID

      120005624453

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] How TKIP induces biases of internal states of generic RC42015

    • 著者名/発表者名
      Ryoma Ito and Atsuko Miyaji
    • 雑誌名

      The 20th Australasian Conference on Information Security and Privacy (ACISP 2015), Lecture Notes in Computer Science, XXX(2015), Springer-Verlag

      巻: -

    • NAID

      120005767114

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] New Linear Correlations related to State Information of RC4 PRGA2015

    • 著者名/発表者名
      Ryoma Ito and Atsuko Miyaji
    • 雑誌名

      The 22nd International Workshop on Fast Software Encryption (FSE 2015), Lecture Notes in Computer Science, Springer-Verlag

      巻: -

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] A new (n, 2n) Double Block Length Hash Function based on Single Key Scheduling2015

    • 著者名/発表者名
      Atsuko Miyaji and Mazumder Rashed
    • 雑誌名

      The 29th IEEE International Conference on Advanced Information Networking and Applications (AINA 2015), IEEE

      巻: - ページ: 564-570

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] A Collision Attack on a Double-Block-Length Compression Function Instantiated with Round-Reduced AES-2562015

    • 著者名/発表者名
      Jiageng Chen, Shoichi Hirose, Hidenori Kuwakado, and Atsuko Miyaji
    • 雑誌名

      The 17th International Conference on Information and Security Cryptology, ICISC 2014, Lecture Notes in Computer Science, 8949(2015), Springer-Verlag

      巻: 8949 ページ: 271-285

    • NAID

      110009778465

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] A new (n, n) blockcipher hash function using Feistel Network: Apposite for RFID Security2015

    • 著者名/発表者名
      Atsuko Miyaji and Mazumder Rashed
    • 雑誌名

      International Conference on Computational Intelligence in Data Mining (ICCIDM 2014), Lecture Notes in Computer Science, Volume 33(2015), Springer-Verlag

      巻: Volume 33 ページ: 519-528

    • NAID

      120005678257

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] New Integrated Long-Term Glimpse of RC42015

    • 著者名/発表者名
      Ryoma Ito and Atsuko Miyaji
    • 雑誌名

      The 15th International Workshop on Information Security Applications (WISA 2014), Lecture Notes in Computer Science, Volume 8909(2015), Springer-Verlag

      巻: 8909 ページ: 137-149

    • NAID

      120005691304

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] SKENO: Secret key encryption with non-interactive opening2014

    • 著者名/発表者名
      Jiageng Chen, Keita Emura, and Atsuko Miyaji
    • 雑誌名

      Journal of Mathematical Cryptology

      巻: - 号: 2 ページ: 63-74

    • DOI

      10.1515/jmc-2014-0010

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Generic constructions of secure-channel free searchable encryption with adaptive security2014

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, Mohammad Shahriar Rahman, and Kazumasa Omote
    • 雑誌名

      Wiley Security and Communication Networks

      巻: - 号: 8 ページ: 1547-1560

    • DOI

      10.1002/sec.1103

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] ユビキタスネットワークにおけるセキュリティ技術-積極的利用を促すセキュリティ技術-2014

    • 著者名/発表者名
      宮地充子
    • 雑誌名

      「電気評論」

      巻: 夏季増刊号特集 ページ: 12-15

    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] A new (n, n) Blockcipher based Hash Function for Short Messages2014

    • 著者名/発表者名
      Atsuko Miyaji, Mazumder Rashed and Tsuyoshi Sawada
    • 雑誌名

      2014 Ninth Asia Joint Conference on Information Security (ASIA JCIS), IEEE

      巻: - ページ: 56-63

    • NAID

      120006675662

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] A Provable Secure Batch Authentication Scheme for EPCGen2 Tags2014

    • 著者名/発表者名
      Jiageng Chen, Atsuko Miyaji, and Chunhua Su
    • 雑誌名

      The 8th International Conference on Provable Security (Provsec 2014), Lecture Notes in Computer Science, Volume 8782(2014), Springer-Verlag

      巻: 8782 ページ: 103-116

    • NAID

      120005657979

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Improving Impossible Differential Cryptanalysis with Concrete Investigation of Key Scheduling Algorithm and Its Application to LBlock2014

    • 著者名/発表者名
      Jiageng Chen, Yuichi Futa, Atsuko Miyaji, and Chunhua Su
    • 雑誌名

      The 8th International Conference on Network and System Security (NSS 2014), Lecture Notes in Computer Science, 8792(2014), Springer-Verlag

      巻: 8792 ページ: 184-197

    • NAID

      120005661888

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Secure VANET Applications with a refined Group Signature2014

    • 著者名/発表者名
      Mohammad Saiful Islam Mamun and Atsuko Miyaji
    • 雑誌名

      2014 Twelfth Annual International Conference on Privacy, Security and Trust (PST)

      巻: - ページ: 199-206

    • NAID

      120006675652

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] A multi-purpose Group Signature for Vehicular Network Security2014

    • 著者名/発表者名
      Mohammad Saiful Islam Mamun, Atsuko Miyaji, and Hiroaki Takada
    • 雑誌名

      2014 17th International Conference on Network-Based Information Systems (NBiS)

      巻: - ページ: 511-516

    • NAID

      120006675661

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] POND: A Novel Protocol for Network Coding based on Hybrid Cryptographic Scheme2014

    • 著者名/発表者名
      Cheng-Qiang Huangy, Atsuko Miyajiy, Long-Hai Li, and Shang-Mei Xu
    • 雑誌名

      2014 IEEE International Conference on Computer and Information Technology (CIT)

      巻: - ページ: 373-387

    • NAID

      120006675656

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Distributed Pseudo-Random Number Generation and its application to Cloud Database2014

    • 著者名/発表者名
      Jiageng Chen, Atsuko Miyaji, and Chunhua Su
    • 雑誌名

      The 10th Information Security Practice and Experience Conference(ISPEC 2014), Lecture Notes in Com- puter Science, 8434(2014), Springer-Verlag

      巻: 8434 ページ: 373-387

    • NAID

      120005602733

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] A Scalable and Secure RFID Ownership Transfer Protocol2014

    • 著者名/発表者名
      Mohammad Saiful Islam Mamun and Atsuko Miyaji
    • 雑誌名

      The 28th IEEE International Conference on Advanced Information Networking and Applications (AINA 2014), IEEE

      巻: - ページ: 343-350

    • NAID

      120007005446

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] RFID Path Authentication, Revisited2014

    • 著者名/発表者名
      Mohammad Saiful Islam Mamun and Atsuko Miyaji
    • 雑誌名

      The 28th IEEE International Conference on Advanced Information Networking and Applications (AINA 2014), IEEE

      巻: - ページ: 245-252

    • NAID

      120007005447

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] An r-hiding Revocable Group Signature Scheme: Group Signatures with the Property of Hiding the Number of Revoked Users2014

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji and Kazumasa Omote
    • 雑誌名

      Journal of Applied Mathematics

      巻: 2014

    • NAID

      120005624449

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] An efficient batch verification system for large scale VANET2014

    • 著者名/発表者名
      Jiageng Chen, Mohammad S.I. Mamun, Atsuko Miyaji
    • 雑誌名

      Intl. J. of Security and Communication Networks SCN

      巻: Online 号: 2 ページ: 298-310

    • DOI

      10.1002/sec.980

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] A privacy-preserving efficient RFID authentication protocol from SLPN assumption2014

    • 著者名/発表者名
      Mohammad S. I. Mamun and Atsuko Miyaji
    • 雑誌名

      International Journal of Computational Science and Engineering (IJCSE), Special Issue on Converged Networks, Technologies and Applications

      巻: 印刷中

    • NAID

      120005661887

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Submodule of free Z-module2014

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(4) 号: 4 ページ: 275-284

    • DOI

      10.2478/forma-2013-0029

    • NAID

      120007101157

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Differential Cryptanalysis and Boomerang Cryptanalysis of LBlock2013

    • 著者名/発表者名
      Jiageng Chen and Atsuko Miyaji
    • 雑誌名

      Security Engineering and Intelligence Informatics, CD-ARES 2013 Workshops, Lecture Notes in Computer Science, 8128(2013), Springer-Verlag

      巻: 8128 ページ: 1-15

    • NAID

      120005367951

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] A fully-secure RFID authentication protocol from exact LPN assumption2013

    • 著者名/発表者名
      Mohammad Saiful Islam Mamun and Atsuko Miyaji
    • 雑誌名

      The 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communica- tions (IEEE TrustCom’13), IEEE

      巻: - ページ: 102-109

    • NAID

      120006675368

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Private Multiparty Set Intersection Protocol in Rational Model2013

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji and Mohammad Shahriar Rahman
    • 雑誌名

      The 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communica- tions (IEEE TrustCom’13), IEEE

      巻: - ページ: 431-438

    • NAID

      120006675373

    • 関連する報告書
      2013 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] Differential Cryptanalysis and Boomerang Cryptanalysis of LBlock2013

    • 著者名/発表者名
      Jiageng Chen and Atsuko Miyaji
    • 雑誌名

      Security Engineering and Intelligence Informatics, CD-ARES 2013 Workshops,, Lecture Notes in Computer Science,Springer-Verlag

      巻: 8128 ページ: 1-15

    • NAID

      120005367951

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Novel Strategies for Searching RC4 Key Collisions2013

    • 著者名/発表者名
      Jiageng Chen and Atsuko Miyaji
    • 雑誌名

      Computers & Mathematics with Applications

      巻: 66 ページ: 1-10

    • NAID

      120005298575

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Private Multiparty Set Intersection Protocol in Rational Model2013

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji and Mohammad Shahriar Rahman
    • 雑誌名

      The 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom'13)

      巻: CD-ROM ページ: 431-438

    • DOI

      10.1109/trustcom.2013.54

    • NAID

      120006675373

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] A fully-secure RFID authentication protocol from exact LPN assumption2013

    • 著者名/発表者名
      Mohammad S. I. Mamun and Atsuko Miyaji
    • 雑誌名

      The 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom'13)

      巻: CD-ROM ページ: 102-109

    • DOI

      10.1109/trustcom.2013.17

    • NAID

      120006675368

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Self-healing Schemes Suitable for Various WSNs2013

    • 著者名/発表者名
      Atsuko Miyaji and Kazumasa Omote
    • 雑誌名

      The 6th International Conference on Internet and Dsitributed Computing Systems (IDCS 2013), Lecture Notes in Computer Science, Springer-Verlag

      巻: 8223 ページ: 92-105

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] 段数を削減したPRESENTを用いた倍ブロック長圧縮関数に対する衝突攻撃2013

    • 著者名/発表者名
      小林哲也, 廣瀬勝一
    • 雑誌名

      電子情報通信学会論文誌A

      巻: J96-A ページ: 541-550

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Formalization of the Advanced Encryption Standard. Part I2013

    • 著者名/発表者名
      Kenichi Arai, Hiroyuki Okazaki
    • 雑誌名

      Formalized Mathematics

      巻: 21(3) 号: 3 ページ: 171-184

    • DOI

      10.2478/forma-2013-0019

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Gaussian Integers2013

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Daich Mizushima, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(2) 号: 2 ページ: 115-125

    • DOI

      10.2478/forma-2013-0013

    • NAID

      120007101136

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Formal Definition of Probability on Finite and Discrete Sample Space for Proving Security of Cryptographic Systems Using Mizar2013

    • 著者名/発表者名
      Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
    • 雑誌名

      Artificial Intelligence Research

      巻: 2(4) 号: 4 ページ: 37-48

    • DOI

      10.5430/air.v2n4p37

    • NAID

      120007105032

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar2013

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Journal of Automated Reasoning

      巻: 50(2) ページ: 161-172

    • NAID

      120007105033

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Free Z-module2013

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(4) ページ: 275-280

    • NAID

      120007101126

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Posterior Probability on Finite Set2013

    • 著者名/発表者名
      Hiroyuki Okazaki
    • 雑誌名

      Formalized Mathematics

      巻: 20(4) ページ: 257-263

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Extended Euclidean Algorithm and CRT Algorithm2013

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(2) ページ: 175-179

    • NAID

      120007101129

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Dynamic Attribute-based Signcryption without RandomOracles2012

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, and Mohammad Shahriar Rahman
    • 雑誌名

      International Journal of Applied Cryptography (IJACT)

      巻: 2(3) ページ: 199-211

    • NAID

      120004664487

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Cryptanalysis of Stream Ciphers From a New Aspect: How to Apply Key Collisions to Key Recovery Attack2012

    • 著者名/発表者名
      Jiageng Chen and Atsuko Miyaji
    • 雑誌名

      IEICE Trans., Fundamentals

      巻: E95-A(12) ページ: 2148-2159

    • NAID

      10031161346

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] A Novel Hybrid IP Traceback Scheme with Packet Counters2012

    • 著者名/発表者名
      Tomoyuki Karasawa, Masakazu Soshi and Atsuko Miyaji
    • 雑誌名

      The 5th International Conference on Internet and Dsitributed Computing Systems, IDCS 2012,Lecture Notes in Computer Science, Springer-Verlag

      巻: 7646 ページ: 71-84

    • NAID

      120005147911

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] How to Enhance the Security on the Least Significant Bit2012

    • 著者名/発表者名
      Atsuko Miyaji and Yiren Mo
    • 雑誌名

      The 4th International Symposium on Cyberspace Safety and Security , CANS 2012, Springer-Verlag

      巻: 7712 ページ: 263-279

    • NAID

      120005147913

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Constant-Ciphertext-Size Dual Policy Attribute Based Encryption2012

    • 著者名/発表者名
      Atsuko Miyaji and Phuong V.X. TRAN
    • 雑誌名

      The 11th International Conference on Cryptology and Network Security, CSS 2012, Springer-Verlag

      巻: 7672 ページ: 400-413

    • NAID

      120005147912

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] An Optimized Signature Verification System for Vehicle Ad hoc NETwork2012

    • 著者名/発表者名
      Mohammad S. I. Mamun and Atsuko Miyaji
    • 雑誌名

      The 8th International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM2012, IEEE

      巻: - ページ: 1-8

    • NAID

      120006675329

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] A Secure and private RFID authentication protocol under SLPN problem2012

    • 著者名/発表者名
      Mohammad S. I. Mamun and Atsuko Miyaji
    • 雑誌名

      The 6th International Conference on Network and System Security , NSS 2012, Springer-Verlag

      巻: 7645 ページ: 476-489

    • NAID

      120005147914

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Lightweight Integrity for XOR Network Coding in Wireless Sensor Networks2012

    • 著者名/発表者名
      Kazuya Izawa, Atsuko Miyaji, and Kazumasa Omote
    • 雑誌名

      The 8th International Conference on Information Security Practice and Experience, ISPEC 2012, Lecture Notes in Computer Science

      巻: 7232 ページ: 245-258

    • NAID

      120004247387

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Consideration for multi-threshold multi-secret sharing schemes2012

    • 著者名/発表者名
      Atsushi Waseda and Masakazu Soshi
    • 雑誌名

      International Symposium on Information Theory and Applications (ISITA 2012)

      巻: 96-A ページ: 265-269

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Dynamic Attribute-based Signcryption without Random Oracles2012

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, and Mohammad Shahriar Rahman
    • 雑誌名

      International Journal of Applied Cryptography (IJACT)

      巻: Vol. 2 ページ: 199-211

    • NAID

      120004664487

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] A Revocable Group Signature Scheme with the Property of Hiding the Number of Revoked Users2012

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, and Kazumasa Omote
    • 雑誌名

      The 14th International Conference on Information Security and Cryptology, ICISC 2011, Lecture Notes in Computer Science, Springer-Verlag

      巻: 7259 ページ: 186-203

    • NAID

      120004462279

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] An Intrusion and Random-Number-Leakage Resilient Scheme in Mobile Unattended WSNs2012

    • 著者名/発表者名
      Tatsuro Iida, Keita Emura, Atsuko Miyaji and Kazumasa Omote
    • 雑誌名

      The 8th International Workshop on Heterogeneous Wireless Networks (AINA 2012 Workshops), HWISE 2012, IEEE

      巻: - ページ: 552-557

    • NAID

      120007005471

    • 関連する報告書
      2011 実績報告書
  • [雑誌論文] Privacy-preserving Set Operations in the Presence of Rational Parties2012

    • 著者名/発表者名
      Atsuko Miyaji and Mohammad Shahriar Rahman
    • 雑誌名

      The 5th International Symposium on Mining and Web (AINA 2012 Workshops), MAW 2012, IEEE

      巻: - ページ: 869-874

    • NAID

      120007005472

    • 関連する報告書
      2011 実績報告書
  • [雑誌論文] Jacobian 座標系族の加法公式の改良2012

    • 著者名/発表者名
      Ratemo Alice Harriet Mwango, Yang Cuinan, Atsuko Miyaji
    • 雑誌名

      The 2012 Symposium on Cryptography and Information Security

      巻: SCIS2012- 1B2-2E

    • 関連する報告書
      2011 実績報告書
  • [雑誌論文] 初期差分を用いたRC4 PRGAの解析2012

    • 著者名/発表者名
      市丸 祐, 宮地 充子
    • 雑誌名

      The 2012 Symposium on Cryptography and Information Security

      巻: SCIS2012- 2C1-3

    • 関連する報告書
      2011 実績報告書
  • [雑誌論文] Improved Left-to-Right Scalar Multiplication Algorithms2012

    • 著者名/発表者名
      Atsuko Miyaji and Yiren Mo
    • 雑誌名

      IEICE Japan Tech. Rep.

      巻: ISEC2012 (2012-3) ページ: 141-148

    • NAID

      110009545770

    • 関連する報告書
      2011 実績報告書
  • [雑誌論文] Operations of Points on Elliptic Curve in Projective Coordinates2012

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(1) ページ: 87-95

    • NAID

      120007101132

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Formalization of the Data Encryption Standard2012

    • 著者名/発表者名
      Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(2) ページ: 125-146

    • NAID

      120007101130

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Scalar Multiplication on Weierstrass Elliptic Curves from Co-Z Arithmetic2011

    • 著者名/発表者名
      Raveen R. Goundar, Marc Joye, Atsuko Miyaji, Matthieu Rivain, andAlexandre Venelli
    • 雑誌名

      Journal of Cryptographic Engineering (2011),Springer-Verlag

      巻: Vol. 1 ページ: 161-176

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] New Concrete Relation between Trace, Definition Field, and Embedding Degree2011

    • 著者名/発表者名
      Shoujirou Hirasawa and Atsuko Miyaji
    • 雑誌名

      IEICE Trans., Fundamentals.

      巻: E94-A ページ: 1368-1374

    • NAID

      10029802473

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] KIMAP: Key-Insulated Mutual Authentication Protocol for RFID2011

    • 著者名/発表者名
      Atsuko Miyaji and Mohammad Shahriar Rahman
    • 雑誌名

      International Journal of Automated Identification Technology (IJAIT)

      巻: Vol. 3(2) ページ: 61-74

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] A Timed-Release Proxy Re-Encryption Scheme2011

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, and Kazumasa Omote
    • 雑誌名

      IEICE Trans., Fundamentals.

      巻: E94-A ページ: 1682-1695

    • NAID

      10030190459

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Efficient and Low-Cost RFID Authentication Schemes2011

    • 著者名/発表者名
      Atsuko Miyaji, Mohammad Shahriar Rahman, and Masakazu Soshi
    • 雑誌名

      Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA)

      巻: Vol. 2 ページ: 4-25

    • NAID

      120003367901

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Privacy-Preserving Data Mining: A Game-theoretic Approach2011

    • 著者名/発表者名
      Atsuko Miyaji and Mohammad Shahriar Rahman
    • 雑誌名

      The 25th IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSEC 2011, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6818 ページ: 186-200

    • NAID

      120003184342

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Toward Dynamic Attribute-Based Signcryption (Poster)2011

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, and Mohammad Shahriar Rahman
    • 雑誌名

      The 16th Australasian Conference on Information Security and Privacy, ACISP 2011, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6812 ページ: 439-443

    • NAID

      120003184343

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] T-Robust Group Key Exchange Protocol with O(log n) complexity2011

    • 著者名/発表者名
      Tetsuya Hatano, Atsuko Miyaji, and Takashi Sato
    • 雑誌名

      The 16th Australasian Conference on Information Security and Privacy, ACISP 2011, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6812 ページ: 289-207

    • 関連する報告書
      2011 実績報告書 2010 実績報告書
    • 査読あり
  • [雑誌論文] POLISH: Proactive co-Operative LInk Self-Healing for Wireless Sensor Networks2011

    • 著者名/発表者名
      Tatsuro Iida, Atsuko Miyaji, and Kazumasa Omote
    • 雑誌名

      The 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6976 ページ: 253-267

    • NAID

      120003752197

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Adaptive Secure-Channel Free Public-Key Encryption with Keyword Search Implies Timed Release Encryption2011

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, and Kazumasa Omote
    • 雑誌名

      The 14th Information Security Conference, ISC 2011, Lecture Notes in Computer Science, Springer-Verlag

      巻: 7001 ページ: 102-118

    • NAID

      120003752193

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] How to Find Short RC4 Colliding Key Pairs2011

    • 著者名/発表者名
      Jiageng Chen and Atsuko Miyaji
    • 雑誌名

      The 14th Information Security Conference, ISC 2011, Lecture Notes in Computer Science, Springer-Verlag

      巻: 7001 ページ: 32-46

    • NAID

      120003752194

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Non-interactive Opening for Ciphertexts Encrypted by Shared Keys2011

    • 著者名/発表者名
      Jiageng Chen, Keita Emura, and Atsuko Miyaji
    • 雑誌名

      The 13th International Conference on Information and Communications Security, ICICS 2011, Lecture Notes in Computer Science, Springer-Verlag

      巻: 7043 ページ: 57-68

    • NAID

      120003752196

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Ideal Secret Sharing Schemes with Share Selectability2011

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, Akito Nomura, Mohammad Shahriar Rahman, and Masakazu Soshi
    • 雑誌名

      The 13th International Conference on Information and Communications Security, ICICS 2011, Lecture Notes in Computer Science, Springer-Verlag

      巻: 7043 ページ: 143-157

    • NAID

      120003752195

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Unconditionally Secure Oblivious Transfer Based on Channel Delays2011

    • 著者名/発表者名
      Kai-Yuen Cheong and Atsuko Miyaji
    • 雑誌名

      The 13th International Conference on Information and Communications Security, ICICS 2011, Lecture Notes in Computer Science, Springer-Verlag

      巻: 7043 ページ: 112-120

    • NAID

      120003752198

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] 汚染攻撃に耐性を持つXORネットワーク符号化の比較・評価2011

    • 著者名/発表者名
      伊澤 和也, 宮地 充子, 面 和成
    • 雑誌名

      Computer Security Symposium

      巻: CSS2011-2B4-4 ページ: 498-503

    • NAID

      170000067525

    • 関連する報告書
      2011 実績報告書
  • [雑誌論文] An Optimized Right-to-Left Scalar Mutiplication Algorithm Resistant Against Safe-Error Attack, SPA and DPA2011

    • 著者名/発表者名
      Atsuko Miyaji and Yiren Mo
    • 雑誌名

      IEICE Japan Tech. Rep.

      巻: ISEC2011 (2011-11) ページ: 109-114

    • 関連する報告書
      2011 実績報告書
  • [雑誌論文] Efficient Privacy Preserving Set Operations2011

    • 著者名/発表者名
      Atsuko Miyaji and Mohammad Shahriar Rahman
    • 雑誌名

      IEICE Japan Tech. Rep.

      巻: ISEC2011 (2011-11) ページ: 115-122

    • NAID

      10031099403

    • 関連する報告書
      2011 実績報告書
  • [雑誌論文] A Note on Practical Key Derivation Functions2011

    • 著者名/発表者名
      Shoichi Hirose
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E94-A 号: 8 ページ: 1764-1767

    • DOI

      10.1587/transfun.E94.A.1764

    • NAID

      10030190662

    • ISSN
      0916-8508, 1745-1337
    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Compression Functions Using a Dedicated Blockcipher for Lightweight Hashing2011

    • 著者名/発表者名
      Shoichi Hirose, Hidenori Kuwakado and Hirotaka Yoshida
    • 雑誌名

      Lecture Notes in Computer Science, Springer-Verlag

      巻: 7259 ページ: 7259-7259

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Scalar Multiplication on Weierstrass Elliptic Curves from Co-Z Arithmetic2011

    • 著者名/発表者名
      Raveen R.Goundar, Marc Joye, Atsuko Miyaji, Matthieu Rivain, Alexandre Venelli
    • 雑誌名

      Journal of Cryptographic Engineering

      巻: Vol.1 ページ: 161-176

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] New Concrete Relation between Trace, Definition Field, and Embedding Degree2011

    • 著者名/発表者名
      Shoujirou Hirasawa, Atsuko Miyaji
    • 雑誌名

      IEICE Trans., Fundamentals

      巻: E94-A ページ: 1368-1374

    • NAID

      10029802473

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Privacy-Preserving Data Mining : A Game-theoretic Approach2011

    • 著者名/発表者名
      Atsuko Miyaji, Mohammad Shahriar Rahman
    • 雑誌名

      The 25th IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSEC 2011, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6818 ページ: 186-200

    • NAID

      120003184342

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Toward Dynamic Attribute-Based Signcryption2011

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, Mohammad Shahriar Rahman
    • 雑誌名

      The 16th Australasian Conference on Information Security and Privacy, ACISP 2011, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6812(Poster) ページ: 439-443

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Sequential Bitwise Sanitizable Signature Schemes2011

    • 著者名/発表者名
      Goichiro Hanaoka, Shoichi Hirose, Atsuko Miyaji, Kunihiko Miyazaki, Bagus Santoso, Peng Yang
    • 雑誌名

      IEICE Trans., Fundamentals

      巻: E94-A ページ: 392-404

    • NAID

      10027987169

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Redesigning Group Key Exchange Protocol based on Bilinear Pairing Suitable for Various Environments2011

    • 著者名/発表者名
      Yvo Desmedt, Atsuko Miyaji
    • 雑誌名

      The 6th China International Conference on Information Security and Cryptology, Inscrypt 2010, Lecture Notes in Computer Science

      巻: 6584 ページ: 236-254

    • NAID

      120003752191

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] HC-128の内部状態非独立性について2011

    • 著者名/発表者名
      陳嘉耕, 柿脇一穂, 宮地充子
    • 雑誌名

      The 2011 Symposium on Cryptography and Information Security

      巻: SCIS2011-3B1-2

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] ARMを利用した楕円曲線暗号の効率的な実装2011

    • 著者名/発表者名
      永田智芳, 宮地充子
    • 雑誌名

      The 2011 Symposium on Cryptography and Information Security

      巻: SCIS2011-3D2-2

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] Redesigning Group Key Exchange Protocol based on Bilinear Pairing2011

    • 著者名/発表者名
      Yvo Desmedt, Atsuko Miyaji
    • 雑誌名

      The 2011 Symposium on Cryptography and Information Security

      巻: SCIS2011-3F4-3

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] 実用的な耐故障性を実現する効率的なグループ鍵共有法2011

    • 著者名/発表者名
      佐藤高嗣, 宮地充子
    • 雑誌名

      The 2011 Symposium on Cryptography and Information Security

      巻: SCIS2011-3F4-4

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] 匿名IDベース暗号を用いたセキュアチャネルフリー検索可能公開鍵暗号方式の一般的構成法2011

    • 著者名/発表者名
      江村恵太, 宮地充子, 面和成
    • 雑誌名

      The 2011 Symposium on Cryptography and Information Security

      巻: SCIS2011-4C2-6

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] 差分情報を利用したRC4 PRGA内部状態復元アルゴリズムの改良2011

    • 著者名/発表者名
      柿脇一穂, 宮地充子
    • 雑誌名

      IEICE Japan Tech.Rep

      巻: ISEC2010-99 ページ: 57-64

    • NAID

      110008689674

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] メモリを考慮した事前計算点生成手法の提案2011

    • 著者名/発表者名
      笹原大揮, 宮地充子
    • 雑誌名

      IEICE Japan Tech.Rep

      巻: ISEC2010-99 ページ: 159-166

    • NAID

      110008689691

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] 耐故障性を持つグループ鍵共有法の性能評価2011

    • 著者名/発表者名
      佐藤高嗣, 宮地充子
    • 雑誌名

      IEICE Japan Tech.Rep

      巻: ISEC2010-99 ページ: 167-175

    • NAID

      110008689692

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] カウンタを用いたIPトレースバック方式の評価2011

    • 著者名/発表者名
      唐沢智之, 双紙正和, 宮地充子
    • 雑誌名

      IPSJ SIG Tech.Rep.

      巻: 2011-CSEC-52

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] ワイヤレスセンサネットワークにおける自己治癒機能を有する鍵共有方式の検討2011

    • 著者名/発表者名
      飯田達朗, 面和成, 宮地充子
    • 雑誌名

      IPSJ SIG Tech.Rep.

      巻: 2011-CSEC-52

    • NAID

      110008583565

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] ワイヤレスセンサネットワークにおけるMicaZを用いたデータアグリゲーション実装の検討2011

    • 著者名/発表者名
      伊澤和也, 面和成, 宮地充子
    • 雑誌名

      IPSJ SIG Tech.Rep.

      巻: 2011-CSEC-52

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] Normal Subgroup of Product of Groups2011

    • 著者名/発表者名
      Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 19(掲載確定)

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Set of Points on Elliptic Curve in Projective Coordinates2011

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 19(掲載確定)

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] A Ciphertext-Policy Attribute-Based Encryption Scheme with Constant Ciphertext Length2010

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, Akito Nomura, Kazumasa Omote, Masakazu Soshi
    • 雑誌名

      International Journal of Applied Cryptography (IJACT)

      巻: Vol.2 ページ: 46-59

    • NAID

      120002260310

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] New Analysis Based on Correlations of RC4 PRGA with Nonzero-Bit Differences2010

    • 著者名/発表者名
      Atsuko Miyaji, Masahiro Sukegawa
    • 雑誌名

      IEICE Trans., Fundamentals

      巻: E93-A ページ: 1066-1077

    • NAID

      10026864635

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] A New Class of RC4 Colliding Key Pairs With Greater Hamming Distance2010

    • 著者名/発表者名
      Jiageng Chen, Atsuko Miyaji
    • 雑誌名

      The 6th Information Security Practice and Experience Conference, ISPEC 2010, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6047 ページ: 30-44

    • NAID

      120002260312

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Generalized RC4 Key Collisions and Hash Collisions2010

    • 著者名/発表者名
      Jiageng Chen, Atsuko Miyaji
    • 雑誌名

      The 7th Conference on Security and Cryptography for Networks, SCN 2010, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6280 ページ: 73-87

    • NAID

      120002753787

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Co-Z Addition Formulae and Binary Ladders on Elliptic Curves2010

    • 著者名/発表者名
      Raveen Ravinesh Goundar, Marc Joye, Atsuko Miyaji
    • 雑誌名

      The 12th Workshop on Cryptographic Hardware and Embedded Systems, CHES 2010, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6225 ページ: 65-79

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] An Anonymous Designated Verifier Signature Scheme with Revocation : How to Protect a Company's Reputation2010

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, Kazumasa Omote
    • 雑誌名

      The 4th International Conference on Provable Security, ProvSec 2010, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6402 ページ: 184-198

    • NAID

      120002710166

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] A Timed-Release Proxy Re-Encryption Scheme and its Application to Fairly-Opened Multicast Communication2010

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, Kazumasa Omote
    • 雑誌名

      The 4th International Conference on Provable Security, ProvSec 2010, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6402 ページ: 200-213

    • NAID

      120002710165

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] RPOK : A Strongly Resilient Polynomial-based Random Key Pre-distribution Scheme for Multiphase Wireless Sensor Networks2010

    • 著者名/発表者名
      Hisashige Ito, Atsuko Miyaji, Kazumasa Omote
    • 雑誌名

      The 8th Grobal Communications Conference Exhibition & Industry Forum, IEEE GLOBECOM 2010

      ページ: 1-5

    • NAID

      120006674763

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] An Identity-based Proxy Re-Encryption Scheme with Source Hiding Property, and its Application to a Mailing-list System2010

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, Kazumasa Omote
    • 雑誌名

      The 7th European Workshop on Public Key Services, Applications and Infrastructures, EuroPKI 2010, Lecture Notes in Computer Science

      巻: (掲載確定)

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Efficient and Optimally Secure In-Network Aggregation in Wireless Sensor Networks2010

    • 著者名/発表者名
      Atsuko Miyaji, Kazumasa Omote
    • 雑誌名

      The 11th International Workshop on Information Security Applications, WISA 2010, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6513 ページ: 135-149

    • NAID

      120003184340

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Efficient Privacy-Preserving Data Mining in Malicious Model2010

    • 著者名/発表者名
      Keita Emura, Atsuko Miyaji, Mohammad Shahriar Rahman
    • 雑誌名

      The 6th International Conference on Advanced Data Mining and Applications, ADMA 2010, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6440 ページ: 429-440

    • NAID

      120002737938

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Privacy-Preserving Data Mining in Presence of Covert Adversaries2010

    • 著者名/発表者名
      Atsuko Miyaji, Mohammad Shahriar Rahman
    • 雑誌名

      The 6th International Conference on Advanced Data Mining and Applications, ADMA 2010, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6440 ページ: 370-382

    • NAID

      120002737939

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] A New Practical Key Recovery Attack on the Stream Cipher RC4 under Related-Key Model2010

    • 著者名/発表者名
      Jiageng Chen, Atsuko Miyaji
    • 雑誌名

      The 6th China International Conference on Information Security and Cryptology, Inscrypt 2010, Lecture Notes in Computer Science

      巻: (掲載確定)

    • NAID

      120003752190

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Secure Data Aggregation in Wireless Sensor Networks2010

    • 著者名/発表者名
      Atsuko Miyaji, Kazumasa Omote
    • 雑誌名

      Computer Security Symposium

      巻: CSS2010-1D2-4 ページ: 177-182

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] 差分情報を利用したRC4 PRGA内部状態復元アルゴリズムの提案2010

    • 著者名/発表者名
      柿脇一穂, 宮地充子
    • 雑誌名

      Computer Security Symposium

      巻: CSS2010-1B1-2 ページ: 31-36

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] マルチフェーズワイヤレスセンサネットワークにおける効率的かつセキュアな鍵共有方式2010

    • 著者名/発表者名
      飯田達朗, 宮地充子, 面和成
    • 雑誌名

      Computer Security Symposium

      巻: CSS2010-1D2-3 ページ: 183-188

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] 削除機能付き匿名検証者指定署名とその応用2010

    • 著者名/発表者名
      江村恵太, 宮地充子, 面和成
    • 雑誌名

      IEICE Japan Tech.Rep.

      巻: ICSS2010-47 ページ: 17-22

    • NAID

      110008152383

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] 時限式プロキシ再暗号化方式とその応用2010

    • 著者名/発表者名
      江村恵太, 宮地充子, 面和成
    • 雑誌名

      IEICE Japan Tech.Rep.

      巻: ICSS2010-48 ページ: 23-28

    • NAID

      110008152384

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] 効率的な3倍算公式を用いたスカラー倍算手法の提案2010

    • 著者名/発表者名
      笹原大揮, 宮地充子
    • 雑誌名

      IPSJ SIG Tech.Rep.

      巻: 2010-CSEC-51

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] 暗号における擬似乱数列とその生成法2010

    • 著者名/発表者名
      廣瀬勝一
    • 雑誌名

      システム制御情報学会誌

      巻: 54 ページ: 192-197

    • NAID

      110007610246

    • 関連する報告書
      2010 実績報告書
  • [雑誌論文] Hidden Credential Retrieval Without Random Oracles2010

    • 著者名/発表者名
      Atsuko Miyaji, Mohammad Shahriar Rahman, Masakazu Soshi
    • 雑誌名

      The 11th International Workshop on Information Security Applications, WISA 2010, Lecture Notes in Computer Science, Springer-Verlag

      巻: 6513 ページ: 160-174

    • NAID

      120003184341

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] 新しい加法公式に基づく効率的なスカラー倍算について2010

    • 著者名/発表者名
      横川広幸, 宮地充子, 笹原大揮
    • 雑誌名

      The 2010 Symposium on Cryptography and Information Security

      巻: SCIS2010, 2D4-3

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] 新しい加法公式に基づく効率的な予備計算手法について2010

    • 著者名/発表者名
      笹原大揮, 宮地充子, 横川広幸
    • 雑誌名

      The 2010 Symposium on Cryptography and Information Security

      巻: SCIS2010, 2D4-4

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] A New Class of RC4 Colliding Key Pair2010

    • 著者名/発表者名
      J.Chen, A.Miyaji
    • 雑誌名

      The 2010 Symposium on Cryptography and Information Security

      巻: SCIS2010, 3D2-4

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] ワイヤレスセンサネットワークにおけるグループ鍵分配プロトコルの考察2010

    • 著者名/発表者名
      村上大樹, 双紙正和
    • 雑誌名

      コンピュータセキュリティ研究会

      巻: CSEC-48

    • NAID

      110007990977

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] ワイヤレスセンサネットワークのためのグループ鍵分配プロトコルの提案2010

    • 著者名/発表者名
      村上大樹, 双紙正和
    • 雑誌名

      暗号と情報セキュリティシンポジウム

      巻: SCIS2010, 3C3-3

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] Probability Measure on Discrete Spaces and Algebra of Real Valued Random Variables2010

    • 著者名/発表者名
      H.Okazaki, Y.Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 18 ページ: 213-217

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] A Dynamic Attribute-Based Group Signature Scheme and its Application in an Anonymous Survey for the Collection of Attribute Statistics2009

    • 著者名/発表者名
      K.Emura, A.Miyaji, K.Omote
    • 雑誌名

      IPSJ Journal

      巻: Vol.50 ページ: 1968-1983

    • NAID

      120006674342

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] A Ciphertext-Policy Attribute-Based Encryption Scheme with Constant Ciphertext Length2009

    • 著者名/発表者名
      K.Emura, A.Miyaji, A.Nomura, K.Omote, M.Soshi
    • 雑誌名

      The 5th Information Security Practice and Experience Conference, ISPEC 2009, Lecture Notes in Computer Science, Springer-Verlag

      巻: 5451 ページ: 13-23

    • NAID

      120002260310

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] Elliptic curves with a pre-determined embedding degree2009

    • 著者名/発表者名
      S.Hirasawa, A.Miyaji
    • 雑誌名

      The 2009 IEEE International Symposium on Information Theory, ISIT 2009

      ページ: 2391-2395

    • NAID

      110007324412

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] New Correlations of RC4 PRGA Using Nonzero-Bit Differences2009

    • 著者名/発表者名
      A.Miyaji, M.Sukegawa
    • 雑誌名

      ACISP 2009, Lecture Notes in Computer Science, Springer-Verlag

      巻: 5594 ページ: 134-152

    • NAID

      120002260315

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] A Ciphertext-Policy Attribute-Based Encryption Scheme with Strong Recipient Anonymity2009

    • 著者名/発表者名
      K.Emura, A.Miyaji, K.Omote
    • 雑誌名

      Proceedings of 4th International Workshop on Security, IWSEC 2009-Short Papers-, Co-organized byIEICE and IPSJ

      ページ: 49-63

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] A Selectable k-Times Relaxed Anonymous Authentication Scheme2009

    • 著者名/発表者名
      K.Emura, A.Miyaji, K.Omote
    • 雑誌名

      The 10th International Workshop on Information Security Applications, WISA 2009, Lecture Notes in Computer Science, Springer-Verlag

      巻: 5932 ページ: 281-295

    • NAID

      120002260313

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] A Pairing-based Group Key Exchange with an Edge-based Tree2009

    • 著者名/発表者名
      A.Miyaji, Y.Desmedt
    • 雑誌名

      IEICE Japan Tech.Rep.

      巻: ISEC2009-11 ページ: 69-76

    • NAID

      110007161986

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] 木構造を用いた鍵管理プロトコルについて2009

    • 著者名/発表者名
      宮地充子, 吉田勝彦
    • 雑誌名

      IPSJ SIG Tech.Rep.

      巻: 2009-CSEC-45

    • NAID

      10026676728

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] 効率的な耐故障性をもつ鍵共有方式2009

    • 著者名/発表者名
      波多野哲也, 宮地充子
    • 雑誌名

      Computer Security Symposium

      巻: CSS2009-B8-3 ページ: 817-822

    • NAID

      170000065973

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] 差分を持つ内部状態を用いたRC4 PRGAの内部状態の解読2009

    • 著者名/発表者名
      網代充希, 宮地充子
    • 雑誌名

      IEICE Japan Tech.Rep.

      巻: ISEC2009-65 ページ: 95-100

    • NAID

      110007504897

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] マルチフェーズワイヤレスセンサネットワークにおける効率的な鍵事前配布方式2009

    • 著者名/発表者名
      伊藤久繁, 宮地充子, 面和成
    • 雑誌名

      IEICE Japan Tech.Rep.

      巻: ISEC2009-66 ページ: 101-106

    • NAID

      110007504898

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] Authenticating RFID Tags using Insulated Keys2009

    • 著者名/発表者名
      M.S.Rahman, A.Miyaji
    • 雑誌名

      IEICE Japan Tech.Rep.

      巻: ICSS2009-59 ページ: 31-36

    • NAID

      110007520922

    • 関連する報告書
      2009 実績報告書
  • [雑誌論文] Efficient Pseudorandom-Function Modes of a Block-Cipher-Based Hash Function2009

    • 著者名/発表者名
      S.Hirose, H.Kuwakado
    • 雑誌名

      IEICE Transactions on Fundamentals

      巻: E92-A ページ: 2447-2453

    • NAID

      10026860049

    • 関連する報告書
      2009 実績報告書
    • 査読あり
  • [雑誌論文] ワイヤレスセンサネットワークにおける柔軟な鍵共有プロトコルの検討2009

    • 著者名/発表者名
      村上大樹, 双紙正和
    • 雑誌名

      電気・情報関連学会中国支部第60回連合大会

      ページ: 367-368

    • 関連する報告書
      2009 実績報告書
  • [学会発表] RFID における擬似乱数生成器の安全性に関する考察2015

    • 著者名/発表者名
      佐藤洋行, 宮地充子, 蘇春華
    • 学会等名
      ICSS2014
    • 発表場所
      名桜大学(沖縄県名護市)
    • 年月日
      2015-03-03 – 2015-03-04
    • 関連する報告書
      2013 実績報告書
  • [学会発表] 楕円曲線のトレースと埋め込み次数の関係について2015

    • 著者名/発表者名
      宮地充子, 田中覚
    • 学会等名
      ICSS2014
    • 発表場所
      名桜大学(沖縄県名護市)
    • 年月日
      2015-03-03 – 2015-03-04
    • 関連する報告書
      2013 実績報告書
  • [学会発表] サイドチャネル攻撃耐性を持つスカラー倍算アルゴリズム2015

    • 著者名/発表者名
      木藤圭亮, 宮地充子, 高橋良太
    • 学会等名
      ICSS2014
    • 発表場所
      名桜大学(沖縄県名護市)
    • 年月日
      2015-03-03 – 2015-03-04
    • 関連する報告書
      2013 実績報告書
  • [学会発表] ブラウザにおけるSSL/TLS の証明書検証の改善2015

    • 著者名/発表者名
      亀川慧, 宮地充子, 布田裕一
    • 学会等名
      ICSS2014
    • 発表場所
      名桜大学(沖縄県名護市)
    • 年月日
      2015-03-03 – 2015-03-04
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Double-Triple の公式を用いた新しいスカラー倍算2015

    • 著者名/発表者名
      高橋良太, 宮地充子
    • 学会等名
      The 32nd Symposium on Cryptography and Information Security, SCIS2015
    • 発表場所
      リーガロイヤルホテル小倉(福岡県北九州市)
    • 年月日
      2015-01-20 – 2015-01-23
    • 関連する報告書
      2013 実績報告書
  • [学会発表] WPA におけるRC4 の内部状態に関する新しい線形相関2015

    • 著者名/発表者名
      伊藤竜馬, 宮地充子
    • 学会等名
      The 32nd Symposium on Cryptography and Information Security, SCIS2015
    • 発表場所
      リーガロイヤルホテル小倉(福岡県北九州市)
    • 年月日
      2015-01-20 – 2015-01-23
    • 関連する報告書
      2013 実績報告書
  • [学会発表] SSL/TLS における証明書検証機能改善に関する研究2014

    • 著者名/発表者名
      亀川慧, 宮地充子, 布田裕一
    • 学会等名
      ISEC2014
    • 発表場所
      兵庫県立大学(兵庫県神戸市)
    • 年月日
      2014-11-21 – 2014-11-22
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Further Application on RFID with Privacy-Preserving2014

    • 著者名/発表者名
      Atsuko Miyaji
    • 学会等名
      The 1st International Conference on Future Data and Security Engineering, FDSE 2014.
    • 発表場所
      Ho Chi Minh City, Vietnam
    • 年月日
      2014-11-19 – 2014-11-21
    • 関連する報告書
      2013 実績報告書
    • 招待講演
  • [学会発表] 仮想環境化における擬似乱数生成器-Whirlwind-の安全性に関する考察2014

    • 著者名/発表者名
      佐藤洋之, 宮地充子, 蘇春華
    • 学会等名
      Computer Security Symposium,CSS2014
    • 発表場所
      札幌コンベンションセンター(北海道札幌市)
    • 年月日
      2014-10-22 – 2014-10-24
    • 関連する報告書
      2013 実績報告書
  • [学会発表] 効率的な多機関のPrivate Set Intersection2014

    • 著者名/発表者名
      西田昌平, 宮地充子
    • 学会等名
      Computer Security Symposium,CSS2014
    • 発表場所
      札幌コンベンションセンター(北海道札幌市)
    • 年月日
      2014-10-22 – 2014-10-24
    • 関連する報告書
      2013 実績報告書
  • [学会発表] 安全・安心社会を実現するセキュリティ基盤2014

    • 著者名/発表者名
      宮地充子
    • 学会等名
      情報処理学会第13 回情報科学技術フォーラム
    • 発表場所
      筑波大学(茨木県つくば市)
    • 年月日
      2014-09-03 – 2014-09-05
    • 関連する報告書
      2013 実績報告書
    • 招待講演
  • [学会発表] 情報セキュリティの標準化動向について- ISO/IEC JTC1/SC27/WG2 2014 年4月香港会議報告-2014

    • 著者名/発表者名
      宮地充子, 近澤武, 竜田敏男, 大熊健司, 渡辺創, 松尾真一郎
    • 学会等名
      電子情報通信学会
    • 発表場所
      サン・リフレ函館(北海道函館市)
    • 年月日
      2014-07-03 – 2014-07-04
    • 関連する報告書
      2013 実績報告書
    • 招待講演
  • [学会発表] How to Construct PRNGs for distributed Cloud Databases2014

    • 著者名/発表者名
      Jiageng Chen,Atsuko Miyaji,and Chunhua Su
    • 学会等名
      CSEC2014
    • 発表場所
      サン・リフレ函館(北海道函館市)
    • 年月日
      2014-07-03 – 2014-07-04
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Perfect Conjugate-Addition Sequence を用いた新たな事前計算テーブル計算手法について2014

    • 著者名/発表者名
      高橋良太, 宮地充子
    • 学会等名
      ISEC2014
    • 発表場所
      サン・リフレ函館(北海道函館市)
    • 年月日
      2014-07-03 – 2014-07-04
    • 関連する報告書
      2013 実績報告書
  • [学会発表] RC4 のLong-Term Glimpse における新しいNegative Biases2014

    • 著者名/発表者名
      伊藤竜馬, 宮地充子
    • 学会等名
      ISEC2014
    • 発表場所
      機械振興会館(東京都港区)
    • 年月日
      2014-05-09
    • 関連する報告書
      2013 実績報告書
  • [学会発表] 社会保障・税の番号制度の実務的課題 -プライバシー保護の技術的側面2013

    • 著者名/発表者名
      宮地充子
    • 学会等名
      第61回情報処理学会 電子化知的財産・社会基盤研究会
    • 発表場所
      金沢工業大学 扇が丘キャンパス
    • 関連する報告書
      2012 実績報告書
    • 招待講演
  • [学会発表] 医療情報と暗号化・匿名化2013

    • 著者名/発表者名
      宮地充子
    • 学会等名
      MELT up 講演会
    • 発表場所
      中央大学後楽園キャンパス
    • 関連する報告書
      2012 実績報告書
    • 招待講演
  • [学会発表] Formalization of Gaussian Integers, Gaussian Rational Numbers, and Their Algebraic Structures with Mizar2012

    • 著者名/発表者名
      Yuichi Futa, Daichi Mizushima,Hiroyuki Okazaki
    • 学会等名
      2012 International Symposium on Information Theory and its Applications (ISITA2012)
    • 発表場所
      Honolulu, Hawaii, USA
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Formalization Verification of AES Using the Mizar Proof Checker2012

    • 著者名/発表者名
      Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
    • 学会等名
      2012 International Conference on Foundations of Computer Science (FCS'12)
    • 発表場所
      Las Vegas, Nevada, USA
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 複数閾値複数秘密分散に関する一考察2012

    • 著者名/発表者名
      早稲田篤志, 双紙正和
    • 学会等名
      2012年暗号と情報セキュリティシンポジウム
    • 発表場所
      金沢エクセルホテル東急 (金沢市)
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 形式化数学記述言語 Mizar による楕円曲線の形式化2012

    • 著者名/発表者名
      水島大地, 布田裕一, 岡崎裕之
    • 学会等名
      2012年暗号と情報セキュリティシンポジウム
    • 発表場所
      2012年暗号と情報セキュリティシンポジウム 金沢エクセルホテル東急 (金沢市)
    • 関連する報告書
      2011 実績報告書
  • [学会発表] ProVerifによるペアリングの形式化に関する考察2012

    • 著者名/発表者名
      荒井研一, 岡崎裕之
    • 学会等名
      2012年暗号と情報セキュリティシンポジウム
    • 発表場所
      金沢エクセルホテル東急 (金沢市)
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Model of Blockcipher-Based Hash Functions Suitable for Memory-Constrained Devices2011

    • 著者名/発表者名
      廣瀬勝一, 桑門秀典, 吉田博隆
    • 学会等名
      2011年暗号と情報セキュリティシンポジウム
    • 発表場所
      リーガロイヤルホテル小倉(福岡県)
    • 年月日
      2011-01-28
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Formal Verification of DES Using the Mizar Proof Checker2011

    • 著者名/発表者名
      Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
    • 学会等名
      2011 International Conference on Foundations of Computer Science (FCS'11)
    • 発表場所
      Monte Carlo Resort hotel (Las Vegas, Nevada, USA)
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Formal Definition of Probability and Probabilistic Function on Finite and Discrete Sample Space for Proving Security of Cryptographic Systems Using Mizar2011

    • 著者名/発表者名
      Hiroyuki Okazaki, Yasunari Shidama, Yuichi Futa
    • 学会等名
      The 2011 Joint Mathematics Meetings
    • 発表場所
      New Orleans, USA
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Mizarによる有限かつ離散的な標本空間における確率の形式化2011

    • 著者名/発表者名
      荒井研一, 岡崎裕之
    • 学会等名
      2011年暗号と情報セキュリティシンポジウム
    • 発表場所
      リーガロイヤルホテル小倉(福岡)
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 新しいハッジュ連鎖の構成による単純な認証方式とその応用2010

    • 著者名/発表者名
      双紙正和
    • 学会等名
      情報通信システムセキュリティ研究会ICSS2010-44(2010-11)
    • 発表場所
      広島市立大学
    • 年月日
      2010-11-05
    • 関連する報告書
      2010 実績報告書
  • [学会発表] ワイヤレスセンサネットワークにおける効率的なグループ鍵配送プロトコル2010

    • 著者名/発表者名
      三吉雄大, 双紙正和
    • 学会等名
      情報通信システムセキュリティ研究会ICSS2010-45(2010-11)
    • 発表場所
      広島市立大学
    • 年月日
      2010-11-05
    • 関連する報告書
      2010 実績報告書
  • [学会発表] ハッシュ連鎖による単純な認証法とセンサーネットワークへの応用2010

    • 著者名/発表者名
      双紙正和
    • 学会等名
      Computer Security Symposium 2010 (CSS 2010)
    • 発表場所
      岡山コンベンションセンター
    • 年月日
      2010-10-19
    • 関連する報告書
      2010 実績報告書
  • [学会発表] ワイヤレスセンサネットワークにおけるグループ鍵配送プロトコルの検討2010

    • 著者名/発表者名
      三吉雄大, 双紙正和
    • 学会等名
      Computer Security Symposium 2010 (CSS 2010)
    • 発表場所
      岡山コンベンションセンター
    • 年月日
      2010-10-19
    • 関連する報告書
      2010 実績報告書
  • [学会発表] 安全・安心かつ便利な情報社会を実現する情報セキュリティー技術2010

    • 著者名/発表者名
      宮地充子
    • 学会等名
      第4回関西安全・安心を支える科学技術推進会議シンポジウム
    • 発表場所
      大阪科学技術センター(招待講演)
    • 年月日
      2010-06-16
    • 関連する報告書
      2010 実績報告書
  • [学会発表] A Note on Practical Key Derivation Functions2010

    • 著者名/発表者名
      廣瀬勝一
    • 学会等名
      電子情報通信学会技術研究報告
    • 発表場所
      信州大学
    • 年月日
      2010-03-05
    • 関連する報告書
      2009 実績報告書
  • [学会発表] AES-256を用いたDM型圧縮関数に対する衝突攻撃について2010

    • 著者名/発表者名
      小林哲也, 廣瀬勝一
    • 学会等名
      電子情報通信学会技術研究報告
    • 発表場所
      信州大学
    • 年月日
      2010-03-05
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 形式化数学記述言語MizarによるDESの形式化2010

    • 著者名/発表者名
      小林亮太, 荒井研一, 岡崎裕之, 師玉康
    • 学会等名
      2010年暗号と情報セキュリティシンポジウム
    • 発表場所
      サンポートホール高松
    • 年月日
      2010-01-20
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 情報セキュリティの標準化動向について~ISO/IEC JTC1/SC27/WG2 2010年4月マラッカ会議報告~2010

    • 著者名/発表者名
      宮地充子, 近澤武, 竜田敏男, 大熊建司, 渡辺創
    • 学会等名
      情報セキュリティ研究会(ISEC)
    • 発表場所
      弘前大学(解説)
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker2010

    • 著者名/発表者名
      Kenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki
    • 学会等名
      2010 International Conference on Foundations of Computer Science (FCS'10)
    • 発表場所
      Las Vegas Nevada, USA
    • 関連する報告書
      2010 実績報告書
  • [学会発表] セキュリティとディペンダビリティ2010

    • 著者名/発表者名
      宮地充子
    • 学会等名
      情報処理学会創立50周年記念(第72回)全国大会
    • 発表場所
      東京大学 本郷キャンパス
    • 関連する報告書
      2009 実績報告書
  • [学会発表] Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker2010

    • 著者名/発表者名
      K.Arai, N.Kondo, H.Okazaki
    • 学会等名
      2010 International Conference on Foundations of Computer Science (FCS'10)
    • 発表場所
      Las Vegas, Nevada, USA
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 情報セキュリティの標準化動向について~ISO/IEC JTC1/SC27/WG2 2009年5月北京会議報告~2009

    • 著者名/発表者名
      宮地充子, 近澤武, 竜田敏男, 大熊建司
    • 学会等名
      IEICE Japan Tech.Rep
    • 発表場所
      機械振興会館(東京)
    • 年月日
      2009-09-25
    • 関連する報告書
      2009 実績報告書
  • [学会発表] ユビキタス社会の情報セキュリティについて-安全・安心な情報基盤を保証する情報セキュリティ-2009

    • 著者名/発表者名
      宮地充子
    • 学会等名
      石川県企業産業交流研究会OB会
    • 発表場所
      石川県工業試験場(招待講演)
    • 年月日
      2009-06-10
    • 関連する報告書
      2009 実績報告書
  • [学会発表] New Correlations of RC4 PRGA Using Nonzero-Bit Differences2009

    • 著者名/発表者名
      A.Miyaji, M.Sukegawa
    • 学会等名
      The 14th Australasian Conference on Information Security and Privacy (ACISP2009)
    • 発表場所
      Brisbane, Australia
    • 関連する報告書
      2009 実績報告書
  • [学会発表] 情報セキュリティの標準化動向について-ISO/IEC JTC1/SC27/WG2 2013年4月ニース会議報告-

    • 著者名/発表者名
      宮地 充子, 近澤 武, 竜田 敏男, 渡辺 創, 松尾 真一郎, 大熊 健司
    • 学会等名
      電子情報通信学会,信学技報 ISEC2013
    • 発表場所
      札幌コンベンションセンター
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Secure Dynamic Hourglass Protocol for Untrusted Server

    • 著者名/発表者名
      Ratemo Alice Harriet Mwango, 宮地 充子
    • 学会等名
      ISEC2013
    • 発表場所
      機械振興会館(東京)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 効率的なMulti-Party Private Set Intersection Protocol

    • 著者名/発表者名
      三本 知明, 宮地 充子
    • 学会等名
      ISEC2013
    • 発表場所
      東北大学
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Multi-Party Private Set Intersection Protocolの改良

    • 著者名/発表者名
      三本 知明, 宮地 充子
    • 学会等名
      The 31st Symposium on Cryptography and Information Security (SCIS2014)
    • 発表場所
      城山観光ホテル(鹿児島)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] A mobile RFID authentication protocol from exact LPN problem

    • 著者名/発表者名
      Mohammad Saiful Islam Mamun, 宮地 充子
    • 学会等名
      The 31st Symposium on Cryptography and Information Security (SCIS2014)
    • 発表場所
      城山観光ホテル(鹿児島)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Improve the Preimage Security of Double Block Length Hash Function

    • 著者名/発表者名
      MAZUMDER RASHED, 宮地 充子
    • 学会等名
      The 31st Symposium on Cryptography and Information Security (SCIS2014)
    • 発表場所
      城山観光ホテル(鹿児島)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] A Collision Attack on a Double-Block-Length Compression Function Instantiated with Round-Reduced AES-256

    • 著者名/発表者名
      陳嘉耕, 廣瀬勝一, 桑門秀典, 宮地充子
    • 学会等名
      電子情報通信学会技術研究報告
    • 発表場所
      札幌コンベンションセンター
    • 関連する報告書
      2012 実績報告書
  • [学会発表] DDoS攻撃における space-time encoding の効率化

    • 著者名/発表者名
      双紙正和
    • 学会等名
      情報処理学会研究報告
    • 発表場所
      弘前大学
    • 関連する報告書
      2012 実績報告書
  • [学会発表] P2P型ネットワークにおけるハッシュ木構成法の評価

    • 著者名/発表者名
      浅枝智之, 樋口太平, 双紙正和
    • 学会等名
      信学技報
    • 発表場所
      名桜大学(沖縄)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] VANETにおけるグループ One-Way Cross-Networks

    • 著者名/発表者名
      北山翔馬, 双紙正和
    • 学会等名
      信学技報
    • 発表場所
      名桜大学(沖縄)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Negligibleの形式定義に関する考察

    • 著者名/発表者名
      岡崎 裕之, 布田 裕一
    • 学会等名
      The 31st Symposium on Cryptography and Information Security (SCIS2014)
    • 発表場所
      城山観光ホテル(鹿児島)
    • 関連する報告書
      2012 実績報告書
  • [学会発表] Cryptographic Approach to Enhance the Security against Recent Threats

    • 著者名/発表者名
      Atsuko Miyaji
    • 学会等名
      NSC-JST Workshop on ``Information and Communication Technology"
    • 発表場所
      JST Tokyo
    • 関連する報告書
      2011 実績報告書
    • 招待講演
  • [学会発表] 情報のグローバル化とプライバシー

    • 著者名/発表者名
      宮地 充子
    • 学会等名
      情報処理学会 第75回 全国大会
    • 発表場所
      東北大学 川内キャンパス
    • 関連する報告書
      2011 実績報告書
    • 招待講演
  • [学会発表] 初期差分を用いたRC4 PRGAの内部状態解析

    • 著者名/発表者名
      市丸 祐, 宮地 充子
    • 学会等名
      The 30th Symposium on Cryptography and Information Security (SCIS2013)
    • 発表場所
      ウィスティン都ホテル京都
    • 関連する報告書
      2011 実績報告書
  • [学会発表] ネットワークコーディングに適したMACの一考察

    • 著者名/発表者名
      浅野 貴哉, 宮地 充子,面 和成
    • 学会等名
      The 30th Symposium on Cryptography and Information Security (SCIS2013)
    • 発表場所
      ウィスティン都ホテル京都
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Improved Elliptic Curve Scalar Multiplication Using Triple Formula

    • 著者名/発表者名
      Atsuko Miyaji and Cuinan Yang
    • 学会等名
      ISEC2012
    • 発表場所
      関西学院大学 大阪梅田キャンパス
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 効率的な倍ブロック長ハッシュ関数に関する一考察

    • 著者名/発表者名
      澤田 剛, 宮地 充子
    • 学会等名
      ISEC2012
    • 発表場所
      関西学院大学 大阪梅田キャンパス
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Greedy algorithmを改良したDBNS利用による効率的な楕円曲線暗号のスカラー倍算

    • 著者名/発表者名
      河面祥男,宮地充子
    • 学会等名
      ISEC2012
    • 発表場所
      静岡市産学交流センター
    • 関連する報告書
      2011 実績報告書
  • [学会発表] A new explicit relation between trace, definition field, and embedding degree

    • 著者名/発表者名
      Atsuko Miyaji and Xiaonan Shi
    • 学会等名
      ISEC2012
    • 発表場所
      静岡市産学交流センター
    • 関連する報告書
      2011 実績報告書
  • [学会発表] An Optimized ID based Group Signature Veri?cation System and its impact in VANET

    • 著者名/発表者名
      Mohammad S. I. Mamun and Atsuko Miyaji
    • 学会等名
      Computer Security Symposium (CSS2012)
    • 発表場所
      くにびきメッセ (島根県立産業交流会館)
    • 関連する報告書
      2011 実績報告書
  • [学会発表] (n,n)ブロック暗号を用いた倍ブロック長ハッシュ関数の提案

    • 著者名/発表者名
      澤田 剛, 宮地 充子
    • 学会等名
      Computer Security Symposium (CSS2012)
    • 発表場所
      くにびきメッセ (島根県立産業交流会館)
    • 関連する報告書
      2011 実績報告書
  • [学会発表] VANETにおける経路認証について

    • 著者名/発表者名
      双紙正和, 三吉雄大
    • 学会等名
      Computer Security Symposium (CSS2012)
    • 発表場所
      くにびきメッセ (島根県立産業交流会館)
    • 関連する報告書
      2011 実績報告書
  • [学会発表] P2Pシステムにおけるハッシュ木の効率的な構築法の検討.

    • 著者名/発表者名
      樋口太平, 双紙正和, 浅枝智之
    • 学会等名
      情報処理学会研究報告
    • 発表場所
      東京電機大学
    • 関連する報告書
      2011 実績報告書
  • [学会発表] ショートホップトレースバック方式の提案.

    • 著者名/発表者名
      古川真之, 双紙正和.
    • 学会等名
      情報処理学会研究報告
    • 発表場所
      東京電機大学
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Various techniques on Efficient and Secure Elliptic Curve Scalar Multiplication

    • 著者名/発表者名
      宮地 充子
    • 学会等名
      ICISC
    • 発表場所
      KOFST(ソウル,韓国)
    • 関連する報告書
      2011 実績報告書
    • 招待講演
  • [学会発表] Recent topics on Elliptic Curve Cryptosystem: Research and International Standardization

    • 著者名/発表者名
      宮地 充子
    • 学会等名
      ダッカ大学
    • 発表場所
      ダッカ大学(ダッカ,バングラデシュ)
    • 関連する報告書
      2011 実績報告書
    • 招待講演
  • [学会発表] Efficient and Secure Elliptic Curve Scalar Multiplication

    • 著者名/発表者名
      宮地 充子
    • 学会等名
      天津大学
    • 発表場所
      天津大学(天津市,中国)
    • 関連する報告書
      2011 実績報告書
  • [学会発表] One time signature の効率的な構成の検討

    • 著者名/発表者名
      双紙正和, 早稲田篤志
    • 学会等名
      情報処理学会研究報告,2012-CSEC-56, vol. 35
    • 発表場所
      横浜市開港記念会館(横浜市)
    • 関連する報告書
      2011 実績報告書
  • [図書] 一般教育の情報2013

    • 著者名/発表者名
      北上始(編),双紙正和(共著)
    • 総ページ数
      211
    • 出版者
      あいり出版
    • 関連する報告書
      2012 実績報告書
  • [図書] 代数学から学ぶ暗号理論2012

    • 著者名/発表者名
      宮地 充子
    • 総ページ数
      288
    • 出版者
      日本評論社
    • 関連する報告書
      2011 実績報告書

URL: 

公開日: 2009-04-01   更新日: 2019-07-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi