Mahjoub Langar

According to our database, Mahjoub Langar authored at least 15 papers between 2005 and 2020.

Collaborative distances:

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

2020

QoS monitor as a service.

Taycir Bouasker, Mahjoub Langar, Riadh Robbana

Softw. Qual. J., 2020

2017

Consumer oriented web services ranking and classification.

Taycir Bouasker, Mahjoub Langar

Proceedings of the IEEE International Conference on Communications, 2017

2016

Web Services Orchestration's Monitor as a Web Service.

Imene Hadded, Mahjoub Langar, Riadh Robbana

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

NFRs based web services scoring as web service.

Taycir Bouasker, Mahjoub Langar, Riadh Robbana

Proceedings of the IEEE Symposium on Computers and Communication, 2016

Novel time related quality of service criteria.

Taycir Bouasker, Mahjoub Langar, Riadh Robbana

Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2015

A Formal Dynamic Verification of Choreographed Web Services Conversations.

Karim Dahmani, Mahjoub Langar, Riadh Robbana

Proceedings of the Provable Security, 2015

2014

Detecting Malicious Sessions Through Traffic Fingerprinting Using Hidden Markov Models.

Sami Zhioua, Adnene Ben Jabeur, Mahjoub Langar, Wael Ilahi

Proceedings of the International Conference on Security and Privacy in Communication Networks, 2014

Traffic Analysis of Web Browsers.

Sami Zhioua, Mahjoub Langar

Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , 2014

Formal Enforcement of Security Policies on Choreographed Services.

Mahjoub Langar, Karim Dahmani

Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , 2014

2011

Formal enforcement of security policies on concurrent systems.

Mahjoub Langar, Mohamed Mejri, Kamel Adi

J. Symb. Comput., 2011

2010

Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach.

Mahjoub Langar, Mohamed Mejri, Kamel Adi

Proceedings of the SECRYPT 2010, 2010

Toward an Algebraic Framework for Security Policy Enforcement in Concurrent Systems.

Mahjoub Langar, Mohamed Mejri, Kamel Adi

Proceedings of the 2010 International Conference on Security & Management, 2010

2007

Automatic Enforcement of Security in Computer Networks.

T. Mechri, Mahjoub Langar, Mohamed Mejri, Hamido Fujita, Yutaka Funyu

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007

A Formal Approach for Security Policy Enforcement in Concurrent Programs.

Mahjoub Langar, Mohamed Mejri, Kamel Adi

Proceedings of the 2007 International Conference on Security & Management, 2007

2005

Formal and Efficient Enforcement of Security Policies.

Mahjoub Langar, Mohamed Mejri

Proceedings of The 2005 International Conference on Foundations of Computer Science, 2005