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

村上 恭通  MURAKAMI Yasuyuki

ORCIDORCID連携する *注記
研究者番号 50368172
その他のID
所属 (現在) 2025年度: 大阪電気通信大学, 情報通信工学部, 教授
所属 (過去の研究課題情報に基づく) *注記 2018年度 – 2021年度: 大阪電気通信大学, 情報通信工学部, 教授
審査区分/研究分野
研究代表者
小区分09070:教育工学関連
キーワード
研究代表者
ICT技術者 / Virtual Programming Lab / Proverif / CAI教材 / 形式的暗号プロトコル安全性検証ツール / Virtual Programing Lab / Moodle / ProVerif / 安全性自動検証 / 形式化 / eラーニングシステム / 暗号技術学習支援 / 情報セキュリティ人材育成
  • 研究課題

    (1件)
  • 研究成果

    (10件)
  • 共同研究者

    (2人)
  •  情報セキュリティ人材育成のための暗号技術学習支援eラーニングシステムの開発研究代表者

    • 研究代表者
      村上 恭通
    • 研究期間 (年度)
      2018 – 2021
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分09070:教育工学関連
    • 研究機関
      大阪電気通信大学

すべて 2022 2020 2019 2018

すべて 雑誌論文 学会発表

  • [雑誌論文] 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について2020

    • 著者名/発表者名
      岡崎 裕之、紫村 彰吾、宮本 樹、渡邊 樹、布田 裕一、村上 恭通
    • 雑誌名

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

      巻: 37 号: 1 ページ: 1_99-1_113

    • DOI

      10.11309/jssst.37.1_99

    • NAID

      130007801473

    • ISSN
      0289-6540
    • 年月日
      2020-01-24
    • 言語
      日本語
    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-17K00182, KAKENHI-PROJECT-18K02917
  • [雑誌論文] 公開鍵暗号の安全性評価およびその基礎的技術開発2019

    • 著者名/発表者名
      境 隆一, 村上 恭通
    • 雑誌名

      大阪 電気通信大学 MERI Activity Report 2018

      巻: 19 ページ: 162-167

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K02917
  • [雑誌論文] 公開鍵暗号の安全性評価に関する研究2019

    • 著者名/発表者名
      村上 恭通, 境 隆一
    • 雑誌名

      大阪電気通信大学 MERI Activity Report 2018

      巻: 19 ページ: 145-152

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K02917
  • [雑誌論文] 多変数公開鍵暗号のグレブナー基底攻撃に対する安全性評価2019

    • 著者名/発表者名
      境 隆一, 村上 恭通
    • 雑誌名

      大阪 電気通信大学 MERI Activity Report 2018

      巻: 19 ページ: 153-158

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K02917
  • [雑誌論文] 剰余変換の法を秘匿する公開鍵暗号への攻撃2019

    • 著者名/発表者名
      境 隆一, 村上 恭通
    • 雑誌名

      大阪電気通信大学 研 究論集(自然科学編)

      巻: 54 ページ: 27-41

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18K02917
  • [学会発表] 情報セキュリティ人材育成のための形式的安全性検証ツール学習用eラーニング環境の構築2022

    • 著者名/発表者名
      大町 隆人, 岡崎 裕之, 布田 裕一, 村上 恭通
    • 学会等名
      第8回実践的IT教育シンポジ ウムrePiT2022
    • データソース
      KAKENHI-PROJECT-18K02917
  • [学会発表] 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について2019

    • 著者名/発表者名
      岡崎 裕之, 紫村 彰吾, 宮本 樹, 渡邊 樹, 布田 裕一, 村上 恭通
    • 学会等名
      第5回 実践的IT教育シンポジウム rePiT2019
    • データソース
      KAKENHI-PROJECT-18K02917
  • [学会発表] 形式的安全性検証ツールを用いた暗号教育の実践とその e-Learning 教材化の課題について2019

    • 著者名/発表者名
      紫村 彰吾, 岡崎 裕之, 宮本 樹, 渡邊 樹, 布田 裕一, 村上 恭通
    • 学会等名
      第5回 実践的IT教育シンポジウム (rePiT2019)
    • データソース
      KAKENHI-PROJECT-18K02917
  • [学会発表] e-Learning System for Cryptography on Moodle2018

    • 著者名/発表者名
      Tatsuki Miyamoto, Shogo Shimura, Tatsuki Watanabe, Hiroyuki Okazaki, Yuichi Futa, Yasuyuki Murakami
    • 学会等名
      Internet Conference 2018 (IC2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-18K02917
  • [学会発表] Moodle を用いた Proverifの e ラーニングシステム2018

    • 著者名/発表者名
      渡邊 樹, 宮本 樹, 紫村彰吾, 岡崎裕之, 布田裕一, 村上 恭通
    • 学会等名
      第41回 情報理論とその応用シンポジウム (SITA2018)
    • データソース
      KAKENHI-PROJECT-18K02917
  • 1.  岡崎 裕之 (50432167)
    共同の研究課題数: 1件
    共同の研究成果数: 5件
  • 2.  布田 裕一 (50706223)
    共同の研究課題数: 1件
    共同の研究成果数: 5件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

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

Powered by NII kakenhi