MURAKAMI Yasuyuki 村上恭通

… Alternative Names

Murakami Yasuyuki 村上恭通

Less

Researcher Number	50368172
Other IDs
Affiliation (Current)	2025: 大阪電気通信大学, 情報通信工学部, 教授
Affiliation (based on the past Project Information) *help	2018 – 2021: 大阪電気通信大学, 情報通信工学部, 教授
Review Section/Research Field	Principal Investigator Basic Section 09070:Educational technology-related
Keywords	Principal Investigator ICT技術者 / Virtual Programming Lab / Proverif / CAI教材 / 形式的暗号プロトコル安全性検証ツール / Virtual Programing Lab / Moodle / ProVerif / 安全性自動検証 / 形式化 / eラーニングシステム / 暗号技術学習支援 / 情報セキュリティ人材育成

Development of e-learning system for human resource development in the information security fieldPrincipal Investigator
- Principal Investigator
  
  Murakami Yasuyuki
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 09070:Educational technology-related
- Research Institution
  Osaka Electro-Communication University

All 2022 2020 2019 2018

All Journal Article Presentation

[Journal Article] Educating Cryptography using Formal Security Verification tool for Cryptographic Protocols2020
- Author(s)
  岡崎裕之、紫村彰吾、宮本樹、渡邊樹、布田裕一、村上恭通
- Journal Title
  
  Computer Software
  
  Volume: 37 Issue: 1 Pages: 1_99-1_113
- DOI
  10.11309/jssst.37.1_99
- NAID
  130007801473
- ISSN
  0289-6540
- Year and Date
  2020-01-24
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00182, KAKENHI-PROJECT-18K02917
[Journal Article] 公開鍵暗号の安全性評価およびその基礎的技術開発2019
- Author(s)
  境隆一, 村上恭通
- Journal Title
  
  大阪電気通信大学 MERI Activity Report 2018
  
  Volume: 19 Pages: 162-167
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K02917
[Journal Article] 公開鍵暗号の安全性評価に関する研究2019
- Author(s)
  村上恭通, 境隆一
- Journal Title
  
  大阪電気通信大学 MERI Activity Report 2018
  
  Volume: 19 Pages: 145-152
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K02917
[Journal Article] 多変数公開鍵暗号のグレブナー基底攻撃に対する安全性評価2019
- Author(s)
  境隆一, 村上恭通
- Journal Title
  
  大阪電気通信大学 MERI Activity Report 2018
  
  Volume: 19 Pages: 153-158
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K02917
[Journal Article] 剰余変換の法を秘匿する公開鍵暗号への攻撃2019
- Author(s)
  境隆一, 村上恭通
- Journal Title
  
  大阪電気通信大学研究論集(自然科学編)
  
  Volume: 54 Pages: 27-41
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] 情報セキュリティ人材育成のための形式的安全性検証ツール学習用eラーニング環境の構築2022
- Author(s)
  大町隆人, 岡崎裕之, 布田裕一, 村上恭通
- Organizer
  第8回実践的IT教育シンポジウムrePiT2022
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] 形式的安全性検証ツールを用いた暗号教育の実践とそのe-Learning教材化の課題について2019
- Author(s)
  岡崎裕之, 紫村彰吾, 宮本樹, 渡邊樹, 布田裕一, 村上恭通
- Organizer
  第5回実践的IT教育シンポジウム rePiT2019
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] 形式的安全性検証ツールを用いた暗号教育の実践とその e-Learning 教材化の課題について2019
- Author(s)
  紫村彰吾, 岡崎裕之, 宮本樹, 渡邊樹, 布田裕一, 村上恭通
- Organizer
  第5回実践的IT教育シンポジウム (rePiT2019)
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] e-Learning System for Cryptography on Moodle2018
- Author(s)
  Tatsuki Miyamoto, Shogo Shimura, Tatsuki Watanabe, Hiroyuki Okazaki, Yuichi Futa, Yasuyuki Murakami
- Organizer
  Internet Conference 2018 (IC2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K02917
[Presentation] Moodle を用いた Proverifの e ラーニングシステム2018
- Author(s)
  渡邊樹, 宮本樹, 紫村彰吾, 岡崎裕之, 布田裕一, 村上恭通
- Organizer
  第41回情報理論とその応用シンポジウム (SITA2018)
- Data Source
  KAKENHI-PROJECT-18K02917

1. 岡崎裕之 (50432167)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
2. 布田裕一 (50706223)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results

MURAKAMI Yasuyuki 村上 恭通

Murakami Yasuyuki 村上 恭通

Research Projects

Research Products

Co-Researchers

Development of e-learning system for human resource development in the information security fieldPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] Educating Cryptography using Formal Security Verification tool for Cryptographic Protocols2020

Author(s)

Journal Title

DOI

NAID

ISSN

Year and Date

Language

Data Source

[Journal Article] 公開鍵暗号の安全性評価およびその基礎的技術開発2019

Author(s)

Journal Title

Data Source

[Journal Article] 公開鍵暗号の安全性評価に関する研究2019

Author(s)

Journal Title

Data Source

[Journal Article] 多変数公開鍵暗号のグレブナー基底攻撃に対する安全性評価2019

Author(s)

Journal Title

Data Source

[Journal Article] 剰余変換の法を秘匿する公開鍵暗号への攻撃2019

Author(s)

Journal Title

Data Source

[Presentation] 情報セキュリティ人材育成のための形式的安全性検証ツール学習用eラーニング環境の構築2022

Author(s)

Organizer

Data Source

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

Author(s)

Organizer

Data Source

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

Author(s)

Organizer

Data Source

[Presentation] e-Learning System for Cryptography on Moodle2018

Author(s)

Organizer

Data Source

[Presentation] Moodle を用いた Proverifの e ラーニングシステム2018

Author(s)

Organizer

Data Source

MURAKAMI Yasuyuki 村上恭通

Murakami Yasuyuki 村上恭通