文献
J-GLOBAL ID:200902108021750996
整理番号:98A0024434
合成的安全性チェッカ 情報フロー安全性の検証のためのツール
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties.
著者 (2件):
FOCARDI R
(Univ. Ca’ Foscari di Venezia, Mestre(Ve), ITA)
,
GORRIERI R
(Univ. Bologna, Bologna, ITA)
資料名:
IEEE Transactions on Software Engineering
(IEEE Transactions on Software Engineering)
巻:
23
号:
9
ページ:
550-571
発行年:
1997年09月
JST資料番号:
D0480D
ISSN:
0098-5589
CODEN:
IESEDJ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)