Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson. Static Analysis for Secrecy and Non-interference in Networks of Processes. In Victor E. Malyshkin, editor, Parallel Computing Technologies, 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings. Volume 2127 of Lecture Notes in Computer Science, pages 27-41, Springer, 2001. [doi]
@inproceedings{BodeiDNN01:1,
title = {Static Analysis for Secrecy and Non-interference in Networks of Processes},
author = {Chiara Bodei and Pierpaolo Degano and Flemming Nielson and Hanne Riis Nielson},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2127/21270027.htm},
tags = {analysis, static analysis},
researchr = {https://researchr.org/publication/BodeiDNN01%3A1},
cites = {0},
citedby = {0},
pages = {27-41},
booktitle = {Parallel Computing Technologies, 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings},
editor = {Victor E. Malyshkin},
volume = {2127},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42522-5},
}