Static Evidences for Attack Reconstruction

Chiara Bodei, Linda Brodo, Riccardo Focardi. Static Evidences for Attack Reconstruction. In Chiara Bodei, Gian Luigi Ferrari, Corrado Priami, editors, Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Volume 9465 of Lecture Notes in Computer Science, pages 162-182, Springer, 2015. [doi]

Authors

Chiara Bodei

This author has not been identified. Look up 'Chiara Bodei' in Google

Linda Brodo

This author has not been identified. Look up 'Linda Brodo' in Google

Riccardo Focardi

This author has not been identified. Look up 'Riccardo Focardi' in Google