Detail

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

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

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

Type Paper

Date October 17, 2002

Review Reviewed

Presenters

Conference Schedule From to

Conference Venue

Registration Date

Notes

Number 381

URL

DOI

ISBN

ISSN

Society Name 電子情報通信学会

Files

BibTeX

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

Back