文献
J-GLOBAL ID:201002272255358424
整理番号:10A0517061
抽象不干渉に対する証明システム
A Proof System for Abstract Non-interference
著者 (2件):
GIACOBAZZI Roberto
(Universita di Verona, Verona, ITA)
,
MASTROENI Isabella
(Universita di Verona, Verona, ITA)
資料名:
Journal of Logic and Computation
(Journal of Logic and Computation)
巻:
20
号:
2
ページ:
449-479
発行年:
2010年04月
JST資料番号:
W1693A
ISSN:
0955-792X
資料種別:
逐次刊行物 (A)
発行国:
イギリス (GBR)
言語:
英語 (EN)