Mahjoub Langar

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
QoS monitor as a service.
Softw. Qual. J., 2020

2017
Consumer oriented web services ranking and classification.
Proceedings of the IEEE International Conference on Communications, 2017

2016
Web Services Orchestration's Monitor as a Web Service.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

NFRs based web services scoring as web service.
Proceedings of the IEEE Symposium on Computers and Communication, 2016

Novel time related quality of service criteria.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2015
A Formal Dynamic Verification of Choreographed Web Services Conversations.
Proceedings of the Provable Security, 2015

2014
Detecting Malicious Sessions Through Traffic Fingerprinting Using Hidden Markov Models.
Proceedings of the International Conference on Security and Privacy in Communication Networks, 2014

Traffic Analysis of Web Browsers.
Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , 2014

Formal Enforcement of Security Policies on Choreographed Services.
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.
J. Symb. Comput., 2011

2010
Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach.
Proceedings of the SECRYPT 2010, 2010

Toward an Algebraic Framework for Security Policy Enforcement in Concurrent Systems.
Proceedings of the 2010 International Conference on Security & Management, 2010

2007
Automatic Enforcement of Security in Computer Networks.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007

A Formal Approach for Security Policy Enforcement in Concurrent Programs.
Proceedings of the 2007 International Conference on Security & Management, 2007

2005
Formal and Efficient Enforcement of Security Policies.
Proceedings of The 2005 International Conference on Foundations of Computer Science, 2005


  Loading...