Tobarra et al., 2005 - Google Patents
Application of formal methods to the analysis of web services securityTobarra et al., 2005
View PDF- Document ID
- 939899120054986727
- Author
- Tobarra L
- Cazorla D
- Cuartero F
- Diaz G
- Publication year
- Publication venue
- European Workshop on Performance Engineering
External Links
Snippet
Web Services technologies have introduced a new challenge for security protocols. Traditional security protocols cannot handle intermediaries and the flexibility of Web Services bindings. Thus, several proposals for introducing security in Web Services have …
- 238000004458 analytical method 0 title description 9
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US10540484B2 (en) | Networked services licensing system and method | |
| US10810515B2 (en) | Digital rights management (DRM)-enabled policy management for an identity provider in a federated environment | |
| US7444666B2 (en) | Multi-domain authorization and authentication | |
| US7386513B2 (en) | Networked services licensing system and method | |
| RU2308755C2 (en) | System and method for providing access to protected services with one-time inputting of password | |
| US8196177B2 (en) | Digital rights management (DRM)-enabled policy management for a service provider in a federated environment | |
| EP0940960A1 (en) | Authentication between servers | |
| KR20120128674A (en) | Secure dynamic authority delegation | |
| Kraft | Designing a distributed access control processor for network services on the web | |
| CN113010861B (en) | Identity verification method and system in financing transaction based on block chain | |
| Balfe et al. | Securing peer-to-peer networks using trusted computing | |
| AU2003219907B2 (en) | Networked services licensing system and method | |
| Borselius | Multi-agent system security for mobile communication | |
| Tobarra et al. | Application of formal methods to the analysis of web services security | |
| CN110399740A (en) | A kind of method and system of proxy data secure interactive | |
| Persiano et al. | A secure and private system for subscription-based remote services | |
| Hasselmeyer et al. | Pay as you go-associating costs with Jini leases | |
| Bîrjoveanu et al. | Automated verification of e-commerce protocols for complex transactions | |
| KR102683393B1 (en) | Method for managing authentication information within a certificate independent of a certificate authority | |
| JP4698219B2 (en) | System and method for electronic transmission, storage and retrieval of certified documents | |
| Pärni | On Self-Sovereign Identity: Verifiable Credentials and Presentations with OpenID Connect | |
| Shin | Web services | |
| Li et al. | Zebra copy: A reference implementation of federated access management | |
| Roessler | Identification and authentication in networks enabling single sign-on | |
| Blundo et al. | A framework for authenticated web services |