Author:
Costa Gabriele,De Francisci Silvia,De Nicola Rocco
Reference196 articles.
1. A calculus for cryptographic protocols: The spi calculus;Mart?n Abadi;Information and computation,1999
2. Automatic security policy enforcement in computer systems;Adi Kamel;Computers & security,2018
3. Analysis of information flow security in cyberphysical systems;Ravi Akella;International Journal of Critical Infrastructure Protection,2010
4. Probabilistic information flow in a process algebra;Alessandro Aldini;International Conference on Concurrency Theory,2001
5. Classification of security properties in a linda-like process algebra;Alessandro Aldini;Science of Computer Programming,2006