オペレーティングシステムのセキュリティ機能に関する調査研究

SSR-2005 全体報告会

海外連携型調査研究

• プロポー ザル [PDF]
• 調査グループ 構成メ ンバー

国際会議参加報告

1. 13th USENIX Security Symposium
   (August 9-13, 2004, San Diego, CA USA) [HP]
2. 1st International Conference on E-business and Telecommunication Networks (ICETE2004)
   (August 25-28, Portugal) [HP]
3. 9th European Symposium On Research in Computer Security (ESORISC2004)
   (September 13-15, 2004, French Riviera, France) [HP]
4. Seventh International Symposium on Recent Advances in Intrusion Detection (RAID2004)    
   (September 15-17, 2004, French Riviera, France) [HP]

国内会議参加報告

1. セキュ アOS カンファレンス
   (December 6, 2004, 東京品川,) [HP]
2. 暗号と情報セキュリティシンポジウム 2005
   (January 25-28, 2005, 兵庫県神戸市) [HP]
3. 情報処理学会第67回全国大会(電通大)
   (March 2-4, 2005, 東京都調布市) [HP]
4. 第28回CSEC研究会(大阪大学)
   (March 22-23, 2005, 大阪府吹田市) [HP]
5. セ キュ アOS カンファレンス
   (May 13, 2005, 東京都港区北青山) [HP]

投稿論文

Computer Security Symposium 2004 (CSS2004)

1. IEEE Symposium on Security and Privacy における研究動向調査
2. 確 率 モデルを用いた異常検知手法に関する一考察
3. An Implementation of Extended-Role Based Access Control on an Embedded System
4. On the Privilege Transitional Attack in Secure Operating Systems
5. The Design of Convenient File Protection based on EXT3 File System

Symposium on Cryptography and Information Security 2005 (SCIS2005)

1. ファ イルア クセスパーミッションの統合手法とそのトレードオフに関する考察  
2. Constraction of RBAC-Enforceable Secuirty Automata
3. XExt3: The Design and Implementation of a Security　Enhanced Ext3 File System

第28回CSEC研究会

1. データ 改ざん 検出によるバッファオーバフロー検知システムの提案

博士論文

1. An Extension of Role Based Access Control for Trusted Operating Systems and Its Coloured Petri Net Model