Sciweavers

985 search results - page 110 / 197
» Developing Secure Web Services for Computational Portals
Sort
View
TGC
2010
Springer
13 years 8 months ago
A Tool for Checking Probabilistic Properties of COWS Services
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
Igor Cappello, Paola Quaglia
WORDS
2005
IEEE
14 years 3 months ago
An Adaptable Security Framework for Service-based Systems
A major advantage of service-based computing technology is the ability to enable rapid formation of large-scale distributed systems by composing massively available services to ac...
Stephen S. Yau, Yisheng Yao, Zhaoji Chen, Luping Z...
WWW
2004
ACM
14 years 11 months ago
A semantic matchmaker service on the grid
A fundamental task on the Grid is to decide what jobs to run on what computing resources based on job or application requirements. Our previous work on ontology-based matchmaking ...
Andreas Harth, Stefan Decker, Yu He, Hongsuda Tang...
IACR
2011
207views more  IACR 2011»
12 years 9 months ago
Cryptanalysis and Security Enhancement of an Advanced Authentication Scheme using Smart Cards, and a Key Agreement Scheme for Tw
Abstract—In this work we consider two protocols for performing cryptanalysis and security enhancement. The first one by Song, is a password authentication scheme based on smart ...
Swapnoneel Roy, Amlan K. Das, Yu Li
ICPPW
2006
IEEE
14 years 4 months ago
A Comparative Study of Web Services-based Event Notification Specifications
—Web services-based event notification is an emerging technology that combines the asynchronous communication feature of event notification mechanisms and the interoperability fe...
Yi Huang, Dennis Gannon