Model checking the security of multi-protocol systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maurizio Panti, Luca Spalazzi, Simone Tacconi, Francesco Pagliarecci. Model checking the security of multi-protocol systems. In William K. McQuay, Waleed W. Smari, editors, Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, CTS 2005, Saint Louis, Missouri, USA, May 15-20, 2005. pages 92-99, IEEE, 2005. [doi]

This author has not been identified. Look up 'Maurizio Panti' in GoogleThis author has not been identified. Look up 'Luca Spalazzi' in GoogleThis author has not been identified. Look up 'Simone Tacconi' in GoogleThis author has not been identified. Look up 'Francesco Pagliarecci' in Google

runs on WebDSL