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

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

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

研究代表者関浩之

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

学内論文

巻号情報

全4件
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • KAKENS

R008684

No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • KAKENJ

R008822

No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • KAKENJ

R007938

No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • KAKENJ

R007245

詳細情報

刊年

2008-2010

別書名

Automatic Analysis and Generation Methods for Language-based Access Control

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

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

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

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

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

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

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

シリーズ名

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

注記

課題番号: 20500034

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

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

件名

アクセス制御

情報流解析

セキュリティ

実行履歴

スタック検査

自動生成

静的解析

番号

KAKEN : 20500034