王 静 | 奈良先端科学技術大学院大学
スポンサーリンク
概要
関連著者
-
関 浩之
奈良先端科学技術大学院大学情報科学研究科
-
王 静
奈良先端科学技術大学院大学
-
関 浩之
奈良先端科学技術大学院大学
-
高田 喜朗
高知工科大学
-
高田 喜朗
奈良先端科学技術大学院大学情報科学研究科
-
新田 直也
奈良先端科学技術大学院大学情報科学研究科
-
伊藤 信裕
奈良先端科学技術大学院大学情報科学研究科
-
高田 喜朗
高知工科大学情報システム工学科
著作論文
- 実行履歴に基づくアクセス制御の形式モデルと検証(セキュリティ,フォーマルアプローチ論文)
- D-3-1 HBACプログラムのモデル検査の情報フロー解析への応用(D-3.ソフトウェアサイエンス,一般講演)
- 実行履歴に基づくアクセス制御付きプログラムのモデル検査法による情報フロー解析
- 実行履歴に基づくアクセス制御付きプログラムのモデル検査
- 実行履歴に基づくアクセス制御付き再帰プログラムの形式モデル
- ネットワークの安全性を保証する分散型侵入検知システムの自動構成法
- ネットワークの安全性を保証する分散型侵入検知システムの自動構成法
- ネットワークの安全性を保証する分散型侵入検知システムの自動構成法
- 実行履歴に基づくアクセス制御付き再帰プログラムの形式モデル