詳細情報

刊年

2004

別書名

静的解析を用いたアクセス制御システムのセキュリティ保証技術に関する研究

シリーズ名

奈良先端科学技術大学院大学情報科学研究科博士論文 ; 2004年3月

注記

学位記番号: 博第394号

報告番号: 甲第394号

授与年月日: 2004/03/24

学位の種類: 博士(工学)

学生番号: 0161014

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

國信, 茂太 (クニノブ, シゲタ)

件名

Access control

Policy

Information flow analysis

Security verification

Model checking