Application of Formal Methods to the Analysis of Web Services Security

2005 ◽  
pp. 215-229 ◽  
Author(s):  
Llanos Tobarra ◽  
Diego Cazorla ◽  
Fernando Cuartero ◽  
Gregorio Díaz
Keyword(s):  
Web Services ◽  
Formal Methods ◽  
Web Services Security

WS-Security on PRODML

2014 ◽  
Vol 1 (1) ◽  
pp. 9-34
Author(s):  
Bobby Suryajaya
Keyword(s):  
Web Services ◽  
Digital Signature ◽  
Data Transfer ◽  
Web Services Security ◽  
Soap Message ◽  
Simulation Results ◽  
End To End

SKK Migas plans to apply end-to-end security based on Web Services Security (WS-Security) for Sistem Operasi Terpadu (SOT). However, there are no prototype or simulation results that can support the plan that has already been communicated to many parties. This paper proposes an experiment that performs PRODML data transfer using WS-Security by altering the WSDL to include encryption and digital signature. The experiment utilizes SoapUI, and successfully loaded PRODML WSDL that had been altered with WSP-Policy based on X.509 to transfer a SOAP message.

Web Services Security: Is the Problem Solved?

2004 ◽  
Vol 13 (3) ◽  
pp. 22-31 ◽  
Author(s):  
Carlos Gutiérrez ◽  
Eduardo Fernández-Medina ◽  
Mario Piattini
Keyword(s):  
Web Services ◽  
Web Services Security

Designing Dependable Web Services Security Architecture Solutions

2011 ◽  
pp. 140-149
Author(s):  
D. Shravani ◽  
P. Suresh Varma ◽  
B. Padmaja Rani ◽  
M. Upendra Kumar ◽  
A. V. Krishna Prasad
Keyword(s):  
Web Services ◽  
Security Architecture ◽  
Web Services Security

scholarly journals A Survey of Patterns for Web Services Security and Reliability Standards

2012 ◽  
Vol 4 (2) ◽  
pp. 430-450 ◽  
Author(s):  
Eduardo B. Fernandez ◽  
Ola Ajaj ◽  
Ingrid Buckley ◽  
Nelly Delessy-Gassant ◽  
Keiko Hashizume ◽  
...  
Keyword(s):  
Web Services ◽  
Web Services Security ◽  
Security And Reliability
Sign in / Sign up

Export Citation Format

Share Document