Search results for "セキュリティポリシー" | NDL Search

Search results 3

Group by title

Paper図書

関浩之, 奈良先端科学技術大学院大学 [著][関浩之]2004-2005<Y151-H16500019>

National Diet Library

Subject Heading形式的検証 / モデル検査 / アクティブソフトウェア / アクセス制御 / 静的解析 / 実行履歴 / 形式言語 / セキュリティポリシー

Paper図書

飯島正, 慶應義塾大学 [著][飯島正]2001-2003<Y151-H13680490>

National Diet Library

Digital文書・図像類

金井, 敦, KANAI, Atsushi2015-06科学研究費助成事業研究成果報告書p.1-6

Other Libraries in Japan

Reached to the end of result.

RSS