詳細情報

題名 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.

種別国際会議

日付 2001年11月21日

査読査読なし

登壇発表者

会議の日程〜

会議の開催場所

登録日

備考

番号 358

URL

DOI

ISBN

ISSN

学会名 ICICS

ファイル

BibTeX

@inproceedings{sel358,
    author = {Shigeta Kuninobu and Yoshiaki Takata and Hiroyuki Seki and Katsuro Inoue},
    title = {{An Efficient Information Flow Analysis of Recursive Programs based on a Lattice Model of Security Classes}},
    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,
}

戻る