According to our database1, Stéphane Lafrance authored at least 8 papers between 2002 and 2006.
Legend:Book In proceedings Article PhD thesis Other
Using equivalence-checking to verify robustness to denial of service.
Computer Networks, 2006
On the verification of intransitive noninterference in multilevel security.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2005
Characterizing intransitive noninterference for 3-domain security policies with observability.
IEEE Trans. Automat. Contr., 2005
Symbolic Approach to the Analysis of Security Protocols.
J. UCS, 2004
An Information Flow Method to Detect Denial of Service Vulnerabilities.
J. UCS, 2003
Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols.
Information & Software Technology, 2003
Using Admissible Interference to Detect Denial of Service Vulnerabilities.
Proceedings of the 6th International Workshop on Formal Methods, 2003
Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols.
Electr. Notes Theor. Comput. Sci., 2002