![[IEEE Comput. Soc 13th IEEE Computer Security Foundations Workshop - Cambridge, UK (3-5 July 2000)] Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 - Information flow analysis in a discrete-time process algebra]()
[IEEE Comput. Soc 13th IEEE Computer Security Foundations Workshop - Cambridge, UK (3-5 July 2000)] Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 - Information flow analysis in a discrete-time process algebraFocardi, R.; Gorrieri, R.; Martinelli, F. · 2000