A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Mallouli, W., Mammar, A., Cavalli, A.
Published in 2009 16th Asia-Pacific Software Engineering Conference (01.12.2009)
Published in 2009 16th Asia-Pacific Software Engineering Conference (01.12.2009)
Get full text
Conference Proceeding
Testing Security Rules with Decomposable Activities
Mallouli, W., Cavalli, A.
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Published in 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) (01.11.2007)
Get full text
Conference Proceeding
An Automated Passive Testing Approach for the IMS PoC Service
Lalanne, F., Maag, S., de Oca, E.M., Cavalli, A., Mallouli, W., Gonguet, A.
Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)
Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)
Get full text
Conference Proceeding
Light Client Management Protocol for Wireless Mesh Networks
Wehbi, B., Mallouli, W., Cavalli, A.
Published in 7th International Conference on Mobile Data Management (MDM'06) (2006)
Published in 7th International Conference on Mobile Data Management (MDM'06) (2006)
Get full text
Conference Proceeding
Testing Security Policies for Web Applications
Mallouli, W., Morales, G., Cavalli, A.
Published in 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (01.04.2008)
Published in 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (01.04.2008)
Get full text
Conference Proceeding
Security Rules Specification and Analysis Based on Passive Testing
Mallouli, W., Bessayah, F., Cavalli, A., Benameur, A.
Published in IEEE GLOBECOM 2008 - 2008 IEEE Global Telecommunications Conference (01.11.2008)
Published in IEEE GLOBECOM 2008 - 2008 IEEE Global Telecommunications Conference (01.11.2008)
Get full text
Conference Proceeding