Stéphane Lafrance

From MaRDI portal
Person:2493669

Available identifiers

zbMath Open lafrance.stephaneMaRDI QIDQ2493669

List of research outcomes





PublicationDate of PublicationType
Characterizing intransitive noninterference for 3-domain security policies with observability2017-07-12Paper
Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols2013-07-24Paper
Using equivalence-checking to verify robustness to denial of service2006-06-16Paper

Research outcomes over time

This page was built for person: Stéphane Lafrance

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2493669&oldid=7842051"
Powered by MediaWiki