Towards a Formal Framework for Developing Secure Web Services

2006 ◽  
Author(s):  
Ali Nasrat Haidar ◽  
Ali E. Abdallah
Keyword(s):  
Web Services ◽  
Formal Framework

scholarly journals A Formal Framework for Web Services Coordination

2007 ◽  
Vol 180 (2) ◽  
pp. 55-70 ◽  
Author(s):  
Claudio Guidi ◽  
Roberto Lucchi ◽  
Manuel Mazzara
Keyword(s):  
Web Services ◽  
Formal Framework

Applying Formal Methods to Verify Web Services Orchestration and Choreography

2018 ◽  
pp. 221-243
Author(s):  
Zohra Sbai
Keyword(s):  
Model Checking ◽  
Web Services ◽  
Special Class ◽  
Added Value ◽  
Model Checker ◽  
Web Services Composition ◽  
Services Composition ◽  
Formal Framework ◽  
Services Orchestration ◽  
The Web

The contribution presented in this chapter is to provide a formal framework ensuring the model checking based verification of the Composition of Web Services (WSC). For this, the authors propose first to model the web services composition by an interaction of open workflow nets: a special class of Petri nets. Then, they detail how to check behavioral properties specified in temporal logic using the model checker NuSMV. A WSC is with added value only if the involved services are compatible. So, in this context, across the translation proposed, the authors develop a verification layer of the WSC compatibility. This work is developed in a framework named D&A4WSC which allows to model the WSC by oWF-nets and to check their compatibility by invoking the model checker NuSMV. Furthermore, the authors extended D&A4WSC so that it permits a web services choreography described in a WS-CDL specification. For this they developed a translation from WS-CDL to a composition of oWF-nets, so that one can verify this choreography by the aforementioned approach.

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.

A Design of a Network Model to the Electric Power Trading System Using Web Services

2004 ◽  
Vol 124 (1) ◽  
pp. 176-181
Author(s):  
Tomoaki Maruo ◽  
Keinosuke Matsumoto ◽  
Naoki Mori ◽  
Masashi Kitayama ◽  
Yoshio Izumi
Keyword(s):  
Web Services ◽  
Electric Power ◽  
Network Model ◽  
Trading System ◽  
Power Trading
Sign in / Sign up

Export Citation Format

Share Document