Search the dblp DataBase

Publications of Author

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