Security Validation of Business Processes via Model-Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wihem Arsac, Luca Compagna, Giancarlo Pellegrino, Serena Elisa Ponta. Security Validation of Business Processes via Model-Checking. In Úlfar Erlingsson, Roel Wieringa, Nicola Zannone, editors, Engineering Secure Software and Systems - Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings. Volume 6542 of Lecture Notes in Computer Science, pages 29-42, Springer, 2011. [doi]

This author has not been identified. Look up 'Wihem Arsac' in GoogleThis author has not been identified. Look up 'Luca Compagna' in GoogleThis author has not been identified. Look up 'Giancarlo Pellegrino' in GoogleThis author has not been identified. Look up 'Serena Elisa Ponta' in Google

runs on WebDSL