Semantic model checking security requirements for web services

L. Boaro, E. Glorio, Francesco Pagliarecci, Luca Spalazzi. Semantic model checking security requirements for web services. In Waleed W. Smari, John P. McIntire, editors, Proceedings of the 2010 International Conference on High Performance Computing & Simulation, HPCS 2010, June 28 - July 2, 2010, Caen, France. pages 283-290, IEEE, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: