24 search results - page 1 / 5 » Model Checking Security Pattern Compositions |
QSIC
2007
IEEE
13 years 11 months ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
APSEC
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
FORTE
2009
13 years 2 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
IEEEHPCS
2010
13 years 3 months ago
2010
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 ha...
CSFW
2006
IEEE
13 years 8 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...