Abstract | ||
---|---|---|
With the increased awareness of security and safety of services in on-demand distributed service provisioning (such as the recent adoption of Cloud infrastructures), certification and compliance checking of services is becoming a key element for service engineering. Existing certification techniques tend to support mainly design-time checking of service properties and tend not to support the run-time monitoring and progressive certification in the service execution environment. In this paper we discuss an approach which provides both design-time and runtime behavioural compliance checking for a services architecture, through enabling a progressive event-driven model-checking technique. Providing an integrated approach to certification and compliance is a challenge however using analysis and monitoring techniques we present such an approach for on-going compliance checking. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/SCC.2012.23 | IEEE SCC |
Keywords | Field | DocType |
service property,runtime behavioural compliance checking,integrated approach,progressive certification,service engineering,on-going compliance checking,compliance checking,run-time service environments,service execution environment,design-time checking,formal certification,existing certification technique,service architecture,cloud computing,algorithm design and analysis,cloud infrastructure,security,formal verification,computer architecture | Service design,Architecture,Computer science,Computer security,Security service,Provisioning,Certification,Service delivery framework,Process management,Formal verification,Cloud computing | Conference |
Citations | PageRank | References |
3 | 0.47 | 9 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Howard Foster | 1 | 30 | 5.38 |
George Spanoudakis | 2 | 1057 | 108.40 |
Khaled Mahbub | 3 | 283 | 21.78 |