Stéphane Lafrance

According to our database, Stéphane Lafrance authored at least 8 papers between 2003 and 2006.

Collaborative distances:

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

2006

Using equivalence-checking to verify robustness to denial of service.

Stéphane Lafrance

Comput. Networks, 2006

2005

On the verification of intransitive noninterference in multilevel security.

Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Mohamed Moez Yeddes

IEEE Trans. Syst. Man Cybern. Part B, 2005

Characterizing intransitive noninterference for 3-domain security policies with observability.

Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes

IEEE Trans. Autom. Control., 2005

2004

Symbolic Approach to the Analysis of Security Protocols.

Stéphane Lafrance

J. Univers. Comput. Sci., 2004

An algorithmic approach to verification of intransitive non-interference in security policies.

Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

An Information Flow Method to Detect Denial of Service Vulnerabilities.

Stéphane Lafrance, John Mullins

J. Univers. Comput. Sci., 2003

Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols.

John Mullins, Stéphane Lafrance

Inf. Softw. Technol., 2003

Using Admissible Interference to Detect Denial of Service Vulnerabilities.

Stéphane Lafrance, John Mullins

Proceedings of the 6th International Workshop on Formal Methods, 2003