WEKO3
-
RootNode
アイテム
Security assurance methods for access control systems using static analysis
https://doi.org/10.34413/dr.00394
https://doi.org/10.34413/dr.0039440488ad1-a19e-4dcf-851b-286cc86f4a92
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
fulltext (669.1 kB)
|
|
|
|
abstract (272.1 kB)
|
|
| Item type | 学位論文（博士論文） / Thesis or Dissertation(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2006-07-31 | |||||
| タイトル | ||||||
| タイトル | Security assurance methods for access control systems using static analysis | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Access control | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Policy | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Information flow analysis | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Security verification | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | Model checking | |||||
| 資源タイプ | ||||||
| 資源タイプ | doctoral thesis | |||||
| ID登録 | ||||||
| ID登録 | 10.34413/dr.00394 | |||||
| ID登録タイプ | JaLC | |||||
| その他のタイトル | ||||||
| その他のタイトル | 静的解析を用いたアクセス制御システムのセキュリティ保証技術に関する研究 | |||||
| その他のタイトル | ||||||
| その他のタイトル | セイテキ カイセキ オ モチイタ アクセス セイギョ システム ノ セキュリティ ホショウ ギジュツ ニ カンスル ケンキュウ | |||||
| 著者 |
國信, 茂太
× 國信, 茂太 |
|||||
| 書誌情報 |
発行日 2004-03-24 |
|||||
| 出版者 | ||||||
| 出版者 | Nara Institute of Science and Technology | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 学位名 | ||||||
| 学位名 | 博士(工学) | |||||
| 学位授与機関 | ||||||
| 学位授与機関名 | 奈良先端科学技術大学院大学 | |||||
| 学位授与年月日 | ||||||
| 学位授与年月日 | 2004-03-24 | |||||
| 学位授与番号 | ||||||
| 学位授与番号 | 甲第394号 | |||||
| 電子化ID | ||||||
| R002777 | ||||||
| 電子化ID | ||||||
| R004729 | ||||||
Share
Cite as
國信, 茂太, 2004, Security assurance methods for access control systems using static analysis: Nara Institute of Science and Technology.
Loading...
