肥後研究室トップ | 一覧 | 業績ページトップ
JAEN

An Efficient Information Flow Analysis of Recursive Programs based on a Lattice Model of Security Classes

題名An Efficient Information Flow Analysis of Recursive Programs based on a Lattice Model of Security Classes
著者Shigeta Kuninobu, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue
文献Proceedings of Third Internatinal Conference on Information and Communications Security (ICICS 2001), Lecture Notes in Computer Science 2229, pp.292-303,Xian, China, Nov. 2001.
種類inproceeding / 国際会議
日付2001年11月21日
番号358
学会名ICICS
ファイル
引用形式
@inproceedings{2001ID358,
	author = {Kuninobu, Shigeta and Takata, Yoshiaki and Seki, Hiroyuki and Inoue, Katsuro},
	booktitle = {Proceedings of {Third} {Internatinal} {Conference} on {Information} and {Communications} {Security} ({ICICS} 2001), {Lecture} {Notes} in {Computer} {Science} 2229, pp.292-303,{Xian}, {China}, {Nov}. 2001.},
	year = {2001},
	month = {nov 21},
	title = {An {Efficient} {Information} {Flow} {Analysis} of {Recursive} {Programs} based on a {Lattice} {Model} of {Security} {Classes}},
}