Security Validation of Business Processes via Model-Checking

Wihem Arsac, Luca Compagna, Giancarlo Pellegrino, Serena Elisa Ponta
January 2011
PDF Cite DOI
Type
Book section
Publication
Engineering Secure Software and Systems: Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings