Stéphane Lafrance

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

Stéphane Lafrance
Using equivalence-checking to verify robustness to denial of service. Comput. Networks 50 (9) (2006)
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes
Characterizing intransitive noninterference for 3-domain security policies with observability. IEEE Trans. Autom. Control. 50 (6) (2005)
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Mohamed Moez Yeddes
On the verification of intransitive noninterference in multilevel security. IEEE Trans. Syst. Man Cybern. Part B 35 (5) (2005)
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes
An algorithmic approach to verification of intransitive non-interference in security policies. CDC (2004)
Stéphane Lafrance
Symbolic Approach to the Analysis of Security Protocols. J. Univers. Comput. Sci. 10 (9) (2004)
Stéphane Lafrance, John Mullins
Using Admissible Interference to Detect Denial of Service Vulnerabilities. IWFM (2003)
John Mullins, Stéphane Lafrance
Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols. Inf. Softw. Technol. 45 (11) (2003)
Stéphane Lafrance, John Mullins
An Information Flow Method to Detect Denial of Service Vulnerabilities. J. Univers. Comput. Sci. 9 (11) (2003)
Stéphane Lafrance, John Mullins
Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols. Electron. Notes Theor. Comput. Sci. 61 (2002)