332 search results - page 7 / 67 » Towards an Automatic Analysis of Web Service Security |
BIS
2009
13 years 9 months ago
2009
The EU Services Directive aims at easing the burdens for the EU's citizens to open up new businesses by providing a single-point-of-contact for the complete business lifecycle...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
NDSS
2000
IEEE
14 years 28 days ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
AICT
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
MIDDLEWARE
2007
Springer
14 years 2 months ago
2007
Springer
Although there is a large body of research on detection and prevention of such memory corruption attacks as buffer overflow, integer overflow, and format string attacks, the web...