%0 Conference Paper %1 conf/pact/BodeiDNN01 %A Bodei, Chiara %A Degano, Pierpaolo %A Nielson, Flemming %A Nielson, Hanne Riis %B PaCT %D 2001 %E Malyshkin, Victor E. %I Springer %K dblp %P 27-41 %T Static Analysis for Secrecy and Non-interference in Networks of Processes. %U http://dblp.uni-trier.de/db/conf/pact/pact2001.html#BodeiDNN01 %V 2127 %@ 3-540-42522-5

@inproceedings{conf/pact/BodeiDNN01, added-at = {2017-05-25T00:00:00.000+0200}, author = {Bodei, Chiara and Degano, Pierpaolo and Nielson, Flemming and Nielson, Hanne Riis}, biburl = {https://www.bibsonomy.org/bibtex/29efcf26156e40f83c72c6adae4f9bbaa/dblp}, booktitle = {PaCT}, crossref = {conf/pact/2001}, editor = {Malyshkin, Victor E.}, ee = {https://doi.org/10.1007/3-540-44743-1_3}, interhash = {d1f8db1e8c8c53b4481e08f4968e6167}, intrahash = {9efcf26156e40f83c72c6adae4f9bbaa}, isbn = {3-540-42522-5}, keywords = {dblp}, pages = {27-41}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:47:01.000+0200}, title = {Static Analysis for Secrecy and Non-interference in Networks of Processes.}, url = {http://dblp.uni-trier.de/db/conf/pact/pact2001.html#BodeiDNN01}, volume = 2127, year = 2001 }