詳細
題名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
ファイルAdobe PDF DocumentPostPcript Document

戻る