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

Stéphane Lafrance

Stéphane Lafrance Using equivalence-checking to verify robustness to denial of service. 1327-1348 2006 50 Comput. Networks 9 https://doi.org/10.1016/j.comnet.2005.06.011 db/journals/cn/cn50.html#Lafrance06

Nejib Ben Hadj-Alouane Stéphane Lafrance Feng Lin 0001 John Mullins Moez Yeddes Characterizing intransitive noninterference for 3-domain security policies with observability. 920-925 2005 50 IEEE Trans. Autom. Control. 6 https://doi.org/10.1109/TAC.2005.850643 db/journals/tac/tac50.html#Hadj-AlouaneLLMY05

Nejib Ben Hadj-Alouane Stéphane Lafrance Feng Lin 0001 John Mullins Mohamed Moez Yeddes On the verification of intransitive noninterference in multilevel security. 948-958 2005 35 IEEE Trans. Syst. Man Cybern. Part B 5 https://doi.org/10.1109/TSMCB.2005.847749 https://www.wikidata.org/entity/Q51961769 db/journals/tsmc/tsmcb35.html#Hadj-AlouaneLLMY05

Stéphane Lafrance Symbolic Approach to the Analysis of Security Protocols. 1156-1198 2004 10 J. Univers. Comput. Sci. 9 https://doi.org/10.3217/jucs-010-09-1156 db/journals/jucs/jucs10.html#Lafrance04

Nejib Ben Hadj-Alouane Stéphane Lafrance Feng Lin 0001 John Mullins Moez Yeddes An algorithmic approach to verification of intransitive non-interference in security policies. 51-56 2004 CDC https://doi.org/10.1109/CDC.2004.1428605 conf/cdc/2004 db/conf/cdc/cdc2004.html#Hadj-AlouaneLLM04

John Mullins Stéphane Lafrance Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols. 779-790 2003 45 Inf. Softw. Technol. 11 https://doi.org/10.1016/S0950-5849(03)00072-7 db/journals/infsof/infsof45.html#MullinsL03

Stéphane Lafrance John Mullins An Information Flow Method to Detect Denial of Service Vulnerabilities. 1350- 2003 9 J. Univers. Comput. Sci. 11 http://www.jucs.org/jucs_9_11/an_information_flow_method db/journals/jucs/jucs9.html#LafranceM03

Stéphane Lafrance John Mullins Using Admissible Interference to Detect Denial of Service Vulnerabilities. 2003 conf/iwfm/2003 IWFM http://ewic.bcs.org/content/ConWebDoc/4025 db/conf/iwfm/iwfm2003.html#LafranceM03 Stéphane Lafrance John Mullins Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols. 2002 conf/cats/2002 CATS https://doi.org/10.1016/S1571-0661(04)00311-1 db/journals/entcs/entcs61.html#LafranceM02 154-177 Nejib Ben Hadj-Alouane Feng Lin 0001 John Mullins Mohamed Moez YeddesMoez Yeddes