IT Security Analysis Best Practices and Formal Approaches - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Le Métayer. IT Security Analysis Best Practices and Formal Approaches. In Alessandro Aldini, Roberto Gorrieri, editors, Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures. Volume 4677 of Lecture Notes in Computer Science, pages 75-91, Springer, 2007. [doi]

This author has not been identified. Look up 'Daniel Le Métayer' in Google

runs on WebDSL