Mahjoub Langar

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 5

Top Topics

Detecting Malicious

Top Venues

FMS @ Petri Nets

Publications

Taycir Bouasker, Mahjoub Langar, Riadh Robbana
QoS monitor as a service. Softw. Qual. J. 28 (3) (2020)
Taycir Bouasker, Mahjoub Langar
Consumer oriented web services ranking and classification. ICC (2017)
Imene Hadded, Mahjoub Langar, Riadh Robbana
Web Services Orchestration's Monitor as a Web Service. SoMeT (2016)
Taycir Bouasker, Mahjoub Langar, Riadh Robbana
NFRs based web services scoring as web service. ISCC (2016)
Taycir Bouasker, Mahjoub Langar, Riadh Robbana
Novel time related quality of service criteria. AICCSA (2016)
Karim Dahmani, Mahjoub Langar, Riadh Robbana
A Formal Dynamic Verification of Choreographed Web Services Conversations. ProvSec (2015)
Sami Zhioua, Mahjoub Langar
Traffic Analysis of Web Browsers. FMS @ Petri Nets (2014)
Mahjoub Langar, Karim Dahmani
Formal Enforcement of Security Policies on Choreographed Services. FMS @ Petri Nets (2014)
Sami Zhioua, Adnene Ben Jabeur, Mahjoub Langar, Wael Ilahi
Detecting Malicious Sessions Through Traffic Fingerprinting Using Hidden Markov Models. SecureComm (1) (2014)
Mahjoub Langar, Mohamed Mejri, Kamel Adi
Formal enforcement of security policies on concurrent systems. J. Symb. Comput. 46 (9) (2011)
Mahjoub Langar, Mohamed Mejri, Kamel Adi
Toward an Algebraic Framework for Security Policy Enforcement in Concurrent Systems. Security and Management (2010)
Mahjoub Langar, Mohamed Mejri, Kamel Adi
Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach. SECRYPT (2010)
Mahjoub Langar, Mohamed Mejri, Kamel Adi
A Formal Approach for Security Policy Enforcement in Concurrent Programs. Security and Management (2007)
T. Mechri, Mahjoub Langar, Mohamed Mejri, Hamido Fujita, Yutaka Funyu
Automatic Enforcement of Security in Computer Networks. SoMeT (2007)
Mahjoub Langar, Mohamed Mejri
Formal and Efficient Enforcement of Security Policies. FCS (2005)