The SCEAS System
Navigation Menu

Search the dblp DataBase


Stéphane Lafrance: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002