草刈 圭一朗

Articles:  1-1 of 1

  • A Type System for Analyzing Secure Information Flow in Object-Oriented Programs with Exception Handling  [in Japanese]

    黒川 翔 , 桑原 寛明 , 山本 晋一郎 , 坂部 俊樹 , 酒井 正彦 , 草刈 圭一朗 , 西田 直樹 , KUROKAWA Sho , KUWABARA Hiroaki , YAMAMOTO Shinichiro , SAKABE Toshiki , SAKAI Masahiko , KUSAKARI Keiichirou , NISHIDA Naoki

    本論文では,例外処理機能をもつオブジェクト指向プログラムの安全性を情報流解析に基づいて検証するための型システムを提案する.例外処理による情報流は,スローされる例外とそれを捕そくする箇所に依存して変化する.この情報流を解析するためには,プログラム中の各文についてどの例外からの制御依存が存在するか把握しなければならない.我々は文がスローし得る例外の集合と文に出現する情報流のあるデータの機密度からなる安 …

    電子情報通信学会論文誌D, 情報・システム J91D(3), 757-770, 2008-03

    IR 

Page Top