Stéphane Lafrance

According to our database1, Stéphane Lafrance
  • authored at least 8 papers between 2002 and 2006.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
Using equivalence-checking to verify robustness to denial of service.
Computer Networks, 2006

2005
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

2004
Symbolic Approach to the Analysis of Security Protocols.
J. UCS, 2004

2003
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

2002
Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols.
Electr. Notes Theor. Comput. Sci., 2002


  Loading...