Amina Bourouis

According to our database, Amina Bourouis authored at least 6 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Measuring Opacity for Non-Probabilistic DES: a SOG-Based Approach.

Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2017

On the Verification of Opacity in Web Services and Their Composition.

Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane, Yamen El Touati

IEEE Trans. Serv. Comput., 2017

Measuring opacity in web services.

Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane

Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services, 2017

Computing Quantified Opacity for SOG-Abstracted Web Services.

Amina Burouis, Nejib Ben Hadj-Alouane, Kais Klai

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2015

Checking Opacity of Vulnerable Critical Systems On-The-Fly.

Amina Bourouis, Kais Klai, Yamen El Touati, Nejib Ben Hadj-Alouane

Int. J. Inf. Technol. Web Eng., 2015

Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs.

Amina Bourouis, Kais Klai, Yamen El Touati, Nejib Ben Hadj-Alouane

Proceedings of the 2015 IEEE International Conference on Web Services, 2015