詳細情報

題名束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法

著者國信茂太, 高田喜朗, 関浩之, 井上克郎

文献電子情報通信学会論文誌D-I, Vol.J85-D-I, No.10, pp.961-973, 2002年10月.

種別論文

日付 2002年10月17日

査読査読付き

登壇発表者

会議の日程〜

会議の開催場所

登録日

備考

番号 381

URL

DOI

ISBN

ISSN

学会名電子情報通信学会

ファイル

BibTeX

@article{sel381,
    author = {國信茂太 and 高田喜朗 and 関  浩之 and 井上克郎},
    title = {束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法},
    journal = {電子情報通信学会論文誌D-I, Vol.J85-D-I, No.10, pp.961-973, 2002年10月.},
    year = 2002,
    month = oct,
}

戻る