• Top
  • Details (Local collection)
言語組込みアクセス制御の高信頼化に関する研究

言語組込みアクセス制御の高信頼化に関する研究

ゲンゴ クミコミ アクセス セイギョ ノ コウシンライカ ニ カンスル ケンキュウ

研究代表者関浩之

[生駒] : [奈良先端科学技術大学院大学], 2008-2010

In-house publ.

Volume No.

Total: 4
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • KAKENS

R008684

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • KAKENJ

R008822

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • KAKENJ

R007938

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • KAKENJ

R007245

Details

Publication year

2008-2010

Alternative title

Automatic Analysis and Generation Methods for Language-based Access Control

科学研究費補助金実績報告書

科学研究費補助金(基盤研究(C))実績報告書

平成20年度科学研究費補助金(基盤研究(C))実績報告書

平成21年度科学研究費補助金(基盤研究(C))実績報告書

平成22年度科学研究費補助金(基盤研究(C))実績報告書

科学研究費補助金(基盤研究(C))研究成果報告書

平成20年度-平成22年度科学研究費補助金(基盤研究(C))研究成果報告書

Series title

科学研究費補助金(基盤研究(C))研究成果報告書 ; 平成20-22年度

Note

課題番号: 20500034

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

関, 浩之 (セキ, ヒロユキ)

Subject

アクセス制御

情報流解析

セキュリティ

実行履歴

スタック検査

自動生成

静的解析

Number

KAKEN : 20500034