Security assurance methods for access control systems using static analysis

Security assurance methods for access control systems using static analysis

Shigeta Kuninobu

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

Thesis / Diss.

There are further volumes for this material.

Show other volumes

Volume No.

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

1

R002777

2

  • [IS]2004

Restricted

Details

Publication year

2004

Alternative title

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

Series title

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

Note

学位記番号: 博第394号

報告番号: 甲第394号

授与年月日: 2004/03/24

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

学生番号: 0161014

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

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

Subject

Access control

Policy

Information flow analysis

Security verification

Model checking