Michele Bugliesi, Damiano Macedonio, Sabina Rossi. Static vs Dynamic Typing for Access Control in Pi-Calculus. In Iliano Cervesato, editor, Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings. Volume 4846 of Lecture Notes in Computer Science, pages 282-296, Springer, 2007. [doi]
@inproceedings{BugliesiMR07, title = {Static vs Dynamic Typing for Access Control in Pi-Calculus}, author = {Michele Bugliesi and Damiano Macedonio and Sabina Rossi}, year = {2007}, doi = {10.1007/978-3-540-76929-3_27}, url = {http://dx.doi.org/10.1007/978-3-540-76929-3_27}, tags = {access control}, researchr = {https://researchr.org/publication/BugliesiMR07}, cites = {0}, citedby = {0}, pages = {282-296}, booktitle = {Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings}, editor = {Iliano Cervesato}, volume = {4846}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-76927-9}, }