IEEE - Institute of Electrical and Electronics Engineers, Inc. - Semantic model checking security requirements for web services

2010 International Conference on High Performance Computing & Simulation (HPCS)

Author(s): Boaro, L. ; Glorio, E. ; Pagliarecci, F. ; Spalazzi, L.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2010
Conference Location: Caen, France, France
Conference Date: 28 June 2010
Page(s): 283 - 290
ISBN (CD): 978-1-4244-6829-4
ISBN (Electronic): 978-1-4244-6830-0
ISBN (Paper): 978-1-4244-6827-0
DOI: 10.1109/HPCS.2010.5547125
Regular:

Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It has been used as... View More

Advertisement