YAMADA Kiyoshi 山田聖

Researcher Number	80415760
External Links
Affiliation (based on the past Project Information) *help	2009: 独立行政法人産業技術総合研究所, 情報セキュリティ研究センター, 研究員 2006: National Institute of Advanced Industrial Science and Technology, Research Center for Information Security, Researcher, 情報セキュリティ研究センター, 研究員
Review Section/Research Field	Except Principal Investigator Software
Keywords	Except Principal Investigator state transition description / information flow / covert channel / execution monitoring / model-based development / aspect orientation / design by contract / formal specification / オントロジー / 状態遷移記述 … More / 情報漏洩 / 隠れチャネル / 実行時検査 / モデル駆動開発 / アスペクト指向 / 契約による設計 / 形式仕様記述 / 形式手法 / 暗号・認証等 / ソフトウェア学 / ディペンダブル・コンピューティング Less

暗号ソフトウェアの実装に対するセキュリティ検証
- Principal Investigator
  
  NOWAK David (NOWAK DavId)
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  National Institute of Advanced Industrial Science and Technology
Safe Dynamic Composition and Secure Execution of Software Based on Static Analysis and Execution Monitoring
- Principal Investigator
  
  WATANABE Takuo
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Tokyo Institute of Technology

All 2010 2009 2006 2005

All Journal Article Presentation

[Journal Article] 形式的な暗号学的安全性証明によるアセンブリプログラムの安全性検証:BBSの事例2009
- Author(s)
  Affeldt Reynald, Nowak David, 山田聖
- Journal Title
  
  日本応用数理学会2009年度年会講演予稿集
  
  Pages: 53-54
- Data Source
  KAKENHI-PROJECT-21500046
[Journal Article] Certifying assembly with formal cryptographic proofs : the case of BBS2009
- Author(s)
  Affeldt Reynald, Nowak David, Yamada Kiyoshi
- Journal Title
  
  Electronic Communications of the EASST 23
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21500046
[Journal Article] An Aspect-Oriented Approach to Modular Bchavioral Specifications2006
- Author(s)
  Kiyoshi Yamada, Takuo Watanahe
- Journal Title
  
  Electronic Notes in Theoretical Computer Science 163・1
  
  Pages: 45-56
- Data Source
  KAKENHI-PROJECT-17500017
[Journal Article] An Aspect-Oriented Approach to Modular Behavioral Specifications2006
- Author(s)
  Kiyoshi Yamada
- Journal Title
  
  Electronic Notes in Theoretical Computer Science (掲載予定(決定))
- Data Source
  KAKENHI-PROJECT-17500017
[Journal Article] Moxaによるアスペクト指向的仕様記述 : プロトコルからのモジュラーなDbC記述に向けて2006
- Author(s)
  橋本康範, 渡部卓雄, 山田聖
- Journal Title
  
  情報処理学会研究報告(ソフトウェアエ学研究会) 2006-SE-153
  
  Pages: 15-22
- NAID
  110004849406
- Data Source
  KAKENHI-PROJECT-17500017
[Journal Article] An Aspect-Oriented Approach to Modular Behavioral Specifications2006
- Author(s)
  Kiyoshi Yamada, Takuo Watanabe
- Journal Title
  
  Electronic Notes in Theoretical Computer Science 163・1
  
  Pages: 45-56
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500017
[Journal Article] An Aspect-Oriented Approach to Modular Behavioral Specifications2006
- Author(s)
  Kiyoshi Yamada, Takuo Watanabe
- Journal Title
  
  Electronic Notes in Theoretical Computer Science(Elsevier) 163 (1)
  
  Pages: 45-56
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500017
[Journal Article] 契約における設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa2005
- Author(s)
  山田聖
- Journal Title
  
  情報処理学会論文誌(プログラミング) 46・SIG11
  
  Pages: 27-44
- Data Source
  KAKENHI-PROJECT-17500017
[Journal Article] 契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa2005
- Author(s)
  山田聖, 渡部卓雄
- Journal Title
  
  情報処理学会論文誌(プログラミング) 46・SIG11
  
  Pages: 27-44
- NAID
  110002769807
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500017
[Journal Article] Moxa : An Aspect-Oriented Behavioral In- terface Specification Language2005
- Author(s)
  Kiyoshi Yamada, Takuo Watanabe
- Journal Title
  
  IPSJ Journal (PRO) Vol.46, No.SIG 11 (PRO 26)
  
  Pages: 27-44
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500017
[Presentation] 疑似乱数生成器の実装に対する暗号論的安全性の検証2010
- Author(s)
  山田聖, Nowak David
- Organizer
  12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
- Place of Presentation
  香川県
- Year and Date
  2010-03-04
- Data Source
  KAKENHI-PROJECT-21500046
[Presentation] 形式的な暗号学的安全性証明によるアセンブリプログラムの安全性検証:BBSの事例2009
- Author(s)
  Affeldt Reynald, Nowak David, 山田聖
- Organizer
  日本応用数理学会2009年度年会
- Place of Presentation
  大阪大学豊中キャンパス
- Year and Date
  2009-09-28
- Data Source
  KAKENHI-PROJECT-21500046
[Presentation] Certifying assembly with formal cryptographic proofs : the case of BBS2009
- Author(s)
  Affeldt Reynald, Nowak David, Yamada Kiyoshi
- Organizer
  Theorem Proving and Provers(TPP)Meeting
- Place of Presentation
  関西学院大学神戸三田キャンパス
- Year and Date
  2009-11-21
- Data Source
  KAKENHI-PROJECT-21500046
[Presentation] Certifying assembly with formal cryptographic proofs : the case of BBS2009
- Author(s)
  Affeldt Reynald, Nowak David, Yamada Kiyoshi
- Organizer
  Ninth international workshop on Automated Verification of Critical Systems(AVoCS 2009)
- Place of Presentation
  University of Wales, Gregynog Hall, UK
- Year and Date
  2009-09-23
- Data Source
  KAKENHI-PROJECT-21500046

1. WATANABE Takuo (20222408)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
2. NOWAK David (40443212)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results

YAMADA Kiyoshi 山田 聖

Research Projects

Research Products

Co-Researchers

暗号ソフトウェアの実装に対するセキュリティ検証

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Safe Dynamic Composition and Secure Execution of Software Based on Static Analysis and Execution Monitoring

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] 形式的な暗号学的安全性証明によるアセンブリプログラムの安全性検証:BBSの事例2009

Author(s)

Journal Title

Data Source

[Journal Article] Certifying assembly with formal cryptographic proofs : the case of BBS2009

Author(s)

Journal Title

Data Source

[Journal Article] An Aspect-Oriented Approach to Modular Bchavioral Specifications2006

Author(s)

Journal Title

Data Source

[Journal Article] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

Author(s)

Journal Title

Data Source

[Journal Article] Moxaによるアスペクト指向的仕様記述 : プロトコルからのモジュラーなDbC記述に向けて2006

Author(s)

Journal Title

NAID

Data Source

[Journal Article] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

Author(s)

Journal Title

Description

Data Source

[Journal Article] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

Author(s)

Journal Title

Description

Data Source

[Journal Article] 契約における設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa2005

Author(s)

Journal Title

Data Source

[Journal Article] 契約による設計を支援するアスペクト指向的振舞インターフェース記述言語Moxa2005

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] Moxa : An Aspect-Oriented Behavioral In- terface Specification Language2005

Author(s)

Journal Title

Description

Data Source

[Presentation] 疑似乱数生成器の実装に対する暗号論的安全性の検証2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 形式的な暗号学的安全性証明によるアセンブリプログラムの安全性検証:BBSの事例2009

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Certifying assembly with formal cryptographic proofs : the case of BBS2009

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

YAMADA Kiyoshi 山田聖