260 search results - page 16 / 52 » Semantic model checking security requirements for web servic... |
SOSE
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
EUROMICRO
2007
IEEE
13 years 10 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
ESSOS
2011
Springer
13 years 5 days ago
2011
Springer
Abstract. The security requirements of complex multi-tier web applications have shifted from simple localized needs, such as authentication or authorization, to physically distribu...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelli...
DSN
2004
IEEE
14 years 12 days ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...