dblp.uni-trier.dewww.uni-trier.de

Stéphane Lafrance

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
7EEStéphane Lafrance: Using equivalence-checking to verify robustness to denial of service. Computer Networks 50(9): 1327-1348 (2006)
2005
6EENejib 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
5EEStéphane Lafrance: Symbolic Approach to the Analysis of Security Protocols. J. UCS 10(9): 1156-1198 (2004)
2003
4EEStéphane Lafrance, John Mullins: Using Admissible Interference to Detect Denial of Service Vulnerabilities. IWFM 2003
3EEJohn 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)
2EEStéphane Lafrance, John Mullins: An Information Flow Method to Detect Denial of Service Vulnerabilities. J. UCS 9(11): 1350- (2003)
2002
1EESté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)

Coauthor Index

1Nejib Ben Hadj-Alouane [6]
2Feng Lin [6]
3John Mullins [1] [2] [3] [4] [6]
4Mohamed Moez Yeddes [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)