On the Verification of Opacity in Web Services and Their Composition

Bourouis, Amina; Klaï, Kaïs; Hadj-Alouane, Nejib Ben; Touati, Yamen El

doi:10.1109/tsc.2016.2605090

Cited by 25 publications

(28 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Petri nets provide a very expressive language that is frequently used to model parallel systems and could be suitable to formalize the composition of Web Services. For that reason, many attempts of using Petri nets to formalize different subsets of BPEL have been introduced in [20], [21], [22], [23], [24], [25], [26], [27], [28], [29] and [30] . A formalization of a more complete subset of BPEL, including exception handling and compensations, using Petri net could be find in [25].…”

Section: Related Workmentioning

confidence: 99%

Untitled

2020

IJWSC

View full text Add to dashboard Cite

The WS-BPEL 2.0 (Web Service Business Process Execution Language) has been the dominant standard to describe Web Services (WS) orchestration approach. It is a rich and expressive language that provides interesting features, among them we find four mechanisms to deal with abnormal situations (Event, Fault, Compensation and Termination) handlers, EFCT-handlers. However, WS-BPEL is not rigorously defined as a formal language making EFCT-handlers complicated and ambiguous. This paper aims to remove ambiguities from EFCT-handlers by formalizing their semantics.

show abstract

Section: Related Workmentioning

confidence: 99%

Untitled

2020

IJWSC

View full text Add to dashboard Cite

show abstract

“…Moreover, an intrusion-tolerant approach is used as a counter-measure for the selected services to define the security attacks. The latter exploits the vulnerabilities that are not identified by the WS-attacker; and Bourouis et al (2016) seek to focus not only on WS protecting but also on proving this privacy based on the verification of security property opacity. Therefore, they define three types of WS opacity, namely, simple, K-type weak and K-type strong opacity.…”

Section: State Of the Artmentioning

confidence: 99%

“…Bourouis et al (2016) seek to focus not only on WS protecting but also on proving this privacy based on the verification of security property opacity. Therefore, they define three types of WS opacity, namely, simple, K-type weak and K-type strong opacity.…”

Section: State Of the Artmentioning

confidence: 99%

“…Although existing methods for personalized WSC ignore the security factor, the main characteristics of SOA, which are deployment and distribution, can reveal significant security vulnerabilities. Based on this conviction, several methods have been proposed including those considering security as a complex service such as works in Khani et al (2015), Brucker et al (2013) and Bourouis et al (2016). Therefore, personalization should take into account the protection factors to deal with potential threats.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A comprehensive framework for evaluating web services composition methods

Abidi

Fakhri

Essafi

et al. 2019

IJWIS

View full text Add to dashboard Cite

Purpose Web services composition engineering (WSCE) is a big challenge because of the increasing complexity, openness and extensibility of services based on the information system (IS). In the absence of an adequate framework for IS engineering, the authors assume that the overall problem is consequently no longer easy to resolve. This paper aims to explore some of the issues underlying WSCE through a framework, which is built based on the state of the art. The proposed framework is structured around five views that mainly highlight aspects of personalization and security concerns. The main objectives of this framework are: to help understand and clarify the basics of the WSCE domain; to evaluate web services composition (WSC) methods; to analyze and compare existing personalization, secure methods and identify new research axes; and to identify the main criteria of the ongoing approach for the design of a secure IS based on personalized WSC. Design/methodology/approach This work develops a framework that is used as an analytical study to compare the existing WSCE methods and come up with research issues. Then, the proposed framework is considered as an abstract model for the new WSCE approach. Findings A set of criteria that the proposed framework should consider when developing a new approach to a secure IS based on personalized WSs composition. Research limitations/implications The paper has theoretical implications as the personalization and security issues provide a research roadmap toward the realization of an approach for the design of a secure IS based on personalized WSs composition. Practical implications As proof, the authors are interested in a web services repository of a real mall. To do this, the authors deployed the application in a cloud environment and observed the results of personalization and security concepts in WSCE. Originality/value None of the existing comparison frameworks has raised both personalization and security issues in WSs composition, while personalization and security must be present in the whole composition process.

show abstract

“…[5]). Particularly, the formulation of user needs is among the most controversial research topics [6], [7], [8]. In fact, a major importance has been given to users, service clients, who are struggling to formalize their increasingly complex needs in an unambiguous way.…”

Section: Introductionmentioning

confidence: 99%

Predictive Method for Service Composition in Heterogeneous Environments within Client Requirements

Altowaijri¹

2019

IJACSA

View full text Add to dashboard Cite

Cloud computing is a new delivery model for Information Technology services. Many actors and parameters play an important role in provisioning of dynamically elastic and virtualized resources at the levels of infrastructures, platforms, and softwares. Now-a-days, many cloud services are competing and present often similar offers. From the customer side, it is not always easy to select a suitable service according to customer requirements and cloud services scoring. In a real-world scenario, this is more complicated since service scoring may change over time. Besides this, it interferes with many parameters such as hardware, network infrastructure, customer demand, etc. To tackle this issue, this research work presents a novel approach for the prediction of the future score of any service in order to satisfy user requirements when executing service composition in cloud environments. This approach deals with regression techniques in order to predict the expected future offer of service based on sampling service's history as well as user expectations.

show abstract

On the Verification of Opacity in Web Services and Their Composition

Cited by 25 publications

References 28 publications

Untitled

Untitled

A comprehensive framework for evaluating web services composition methods

Predictive Method for Service Composition in Heterogeneous Environments within Client Requirements

Contact Info

Product

Resources

About