Concepedia

Stéphane Lafrance

SL

4

Publications

112

Citations

4

H-Index

2002

Active since

Affiliations

Polytechnique Montréal(Current)

Manouba University

Tongji University

Stéphane Lafrance is an author at Polytechnique Montréal specializing in formal methods, formal verification, and data security.

Top concepts

EngineeringCryptographyData PrivacyVerificationData SecurityFormal MethodsComputer ScienceHardware SecurityFormal VerificationInformation Security

Publications per year

2002–2005

4

Publications

4

On the Verification of Intransitive Noninterference in Mulitlevel Security

Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin et al. · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · 2005 · 62 citations

Engineering, Usable Security, Information Security +21

Characterizing intransitive noninterference for 3-domain security policies with observability

Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin et al. · IEEE Transactions on Automatic Control · 2005 · 25 citations

Ini Property, Engineering, Information Security +22

Using admissible interference to detect denial of service vulnerabilities

Stéphane Lafrance, John Mullins · PolyPublie (École Polytechnique de Montréal) · 2003 · 13 citations

Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols

Stéphane Lafrance, John Mullins · Electronic Notes in Theoretical Computer Science · 2002 · 12 citations · Full text

Cryptographic Primitive, Engineering, Information Security +17

Rows per page

1–4 of 4