Sciweavers

1564 search results - page 51 / 313
» Security in the Web Services Framework
Sort
View
CCS
2004
ACM
15 years 11 months ago
Verifying policy-based security for web services
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
SAINT
2007
IEEE
16 years 14 days ago
Multiple-Tiered Security Hierarchy for Web Applications Using Central Authentication and Authorization Service
The Central Authentication Service (CAS) is a middleware for constructing a Single Sign On infrastructure for Web applications and has been developed by JA-SIG. In this paper, we ...
Hisashi Naito, Shoji Kajita, Yasushi Hirano, Kenji...
CORR
2004
Springer
120views Education» more  CORR 2004»
15 years 6 months ago
Validating a Web Service Security Abstraction by Typing
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
Andrew D. Gordon, Riccardo Pucella
AICT
2007
IEEE
122views Communications» more  AICT 2007»
15 years 8 months ago
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks
— We describe a formal approach to the analysis of security aspects of an identity federation protocol for web services in convergent networks. This network protocol was proposed...
Maurice H. ter Beek, Corrado Moiso, Marinella Petr...
ICWS
2004
IEEE
15 years 7 months ago
A Web Service Composition and Deployment Framework for Scientific Workflows
This poster presents the web services framework in the Kepler scientific workflow system and illustrates them with a real-world example.
Ilkay Altintas, Efrat Jaeger, Kai Lin, Bertram Lud...