Вы здесь

The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1997
Стр.: 
P.550-571.
Библиография: 
Bibliogr.: p.571
Номер: 
9
Том: 
23
Карточка: 

Б3.54, Б4.55.

Focardi R., Gorrieri R..

The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties// IEEE Trans. on Software Engineering-1997, №9.-Vol. 23.-P.550-571.
Bibliogr.: p.571

Таблица в старой библиотеке: 
PAP17 365