詳細情報

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

種別国際会議

日付 2001年11月21日

査読査読なし

登壇発表者

会議の日程 2001年11月〜

会議の開催場所 Xian, China

登録日

備考

番号 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},
    pages = {292--303},
    address = {Xian, China},
    year = 2001,
    month = nov,
}

戻る