新田 直也 | 奈良先端科学技術大学院大学情報科学研究科
スポンサーリンク
概要
関連著者
-
新田 直也
奈良先端科学技術大学院大学情報科学研究科
-
関 浩之
奈良先端科学技術大学院大学情報科学研究科
-
関 浩之
奈良先端科学技術大学院大学
-
高田 喜朗
奈良先端科学技術大学院大学情報科学研究科
-
王 静
奈良先端科学技術大学院大学
-
國信 茂太
奈良先端科学技術大学院大学情報科学研究科
-
新田 直也
Nara Institute of Science and Technology
-
関 浩之
Nara Institute of Science and Technology
-
伊加田 恵志
奈良先端科学技術大学院大学 情報科学研究科
著作論文
- プッシュダウンシステムの拡張およびそのモデル検査法
- 分散ポリシー制御の自動検証法について
- 情報隠蔽のための自動リファクタリング
- 拡張プッシュダウンシステムの正則木評価によるLTLモデル検査法(続・システム検証の科学技術,サイバー増大号)
- ネットワークの安全性を保証する分散型侵入検知システムの自動構成法
- ネットワークの安全性を保証する分散型侵入検知システムの自動構成法
- ネットワークの安全性を保証する分散型侵入検知システムの自動構成法
- スタック検査機能を持つプログラムに対する効率のよいセキュリティ検証法(プログラミング及びプログラミング言語)
- スタック検査機能をもつプログラムに対するセキュリティ検証問題の決定可能性
- スタック検査を含むプログラムに対する効率のよいセキュリティ検証法
- スタック検査機能を持つプログラムの制御フロー解析に基づくセキュリティ検証法
- ソフトウェア設計変更支援のための依存論理の提案