• Top
  • Details (Local collection)
Computation theoretic approaches in intrusion detection and access

Computation theoretic approaches in intrusion detection and access

Jing Wang

生駒 : 奈良先端科学技術大学院大学, 2007.3

Thesis / Diss.

Volume No.

Total: 2
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

R005322

2

  • [IS]2007

Restricted

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • Abstract

R005495

Details

Publication year

2007

Alternative title

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

Series title

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

Note

学位記番号: 博第628号

報告番号: 甲第628号

授与年月日: 2007/03/23

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

学生番号: 0461044

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

王, 静 (オウ, セイ)

Subject

computer security

intrusion detection system

history-based access control

verification

model checking

computation theory