詳細情報

刊年

2007

別書名

侵入検知とアクセス制御における計算理論的アプローチ

シリーズ名

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

注記

学位記番号: 博第628号

報告番号: 甲第628号

授与年月日: 2007/03/23

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

学生番号: 0461044

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

王, 静 (オウ, セイ)

件名

computer security

intrusion detection system

history-based access control

verification

model checking

computation theory