2006 |
7 | EE | Stéphane Lafrance:
Using equivalence-checking to verify robustness to denial of service.
Computer Networks 50(9): 1327-1348 (2006) |
2005 |
6 | EE | Nejib Ben Hadj-Alouane,
Stéphane Lafrance,
Feng Lin,
John Mullins,
Mohamed Moez Yeddes:
On the verification of intransitive noninterference in multilevel security.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 35(5): 948-958 (2005) |
2004 |
5 | EE | Stéphane Lafrance:
Symbolic Approach to the Analysis of Security Protocols.
J. UCS 10(9): 1156-1198 (2004) |
2003 |
4 | EE | Stéphane Lafrance,
John Mullins:
Using Admissible Interference to Detect Denial of Service Vulnerabilities.
IWFM 2003 |
3 | EE | John Mullins,
Stéphane Lafrance:
Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols.
Information & Software Technology 45(11): 779-790 (2003) |
2 | EE | Stéphane Lafrance,
John Mullins:
An Information Flow Method to Detect Denial of Service Vulnerabilities.
J. UCS 9(11): 1350- (2003) |
2002 |
1 | EE | Stéphane Lafrance,
John Mullins:
Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols.
Electr. Notes Theor. Comput. Sci. 61: (2002) |