Abstract interpretation of operational semantics for secure information flow
R. Barbuti, C. Bernardeschi, N. De FrancescoТом:
83
Рік:
2002
Мова:
english
Сторінки:
8
DOI:
10.1016/s0020-0190(02)00219-3
Файл:
PDF, 106 KB
english, 2002