言語組込みアクセス制御の高信頼化に関する研究, 平成20年度-22年度研究成果報告書

言語組込みアクセス制御の高信頼化に関する研究, 平成20年度-22年度研究成果報告書

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

研究代表者関浩之

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

In-house publ.

There are further volumes for this material.

Show other volumes

Volume No.

平成20年度-22年度研究成果報告書
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • KAKENS

R008684

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