Sciweavers

1075 search results - page 16 / 215
» Access Control System Using Web Services for XML Messaging S...
Sort
View
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
14 years 21 days ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
WWW
2004
ACM
14 years 8 months ago
XQuery at your web service
XML messaging is at the heart of Web services, providing the flexibility required for their deployment, composition, and maintenance. Yet, current approaches to Web services devel...
Jérôme Siméon, Nicola Onose
ISSTA
2004
ACM
14 years 27 days ago
Model checking XML manipulating software
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
Xiang Fu, Tevfik Bultan, Jianwen Su
JSS
2008
83views more  JSS 2008»
13 years 7 months ago
XML-based agent communication, migration and computation in mobile agent systems
This article presents the research work that exploits using XML (Extensible Markup Language) to represent different types of information in mobile agent systems, including agent c...
Bo Chen, David D. Linz, Harry H. Cheng
WINET
2002
138views more  WINET 2002»
13 years 7 months ago
An Architecture for Secure Wide-Area Service Discovery
Abstract. The widespread deployment of inexpensive communications technology, computational resources in the networking infrastructure, and network-enabled end devices poses an int...
Todd D. Hodes, Steven E. Czerwinski, Ben Y. Zhao, ...