260 search results - page 11 / 52 » Semantic model checking security requirements for web servic... |
WWW
2005
ACM
16 years 11 days ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
DAGSTUHL
2004
15 years 1 months ago
2004
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. Th...
ESWS
2008
Springer
15 years 1 months ago
2008
Springer
One of the crucial reasons for adding semantic descriptions to Web services is to enable intelligent discovery, removing the need for a human to manually search and browse textual ...
149
click to vote
SCN
2011
Springer
14 years 6 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
COOPIS
2003
IEEE
15 years 5 months ago
2003
IEEE
Emerging Web standards promise a network of heterogeneous yet interoperable Web Services. Web Services would greatly simplify the development of many kinds of information agents a...