Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Mullins, John - Département de Mathématiques et de Génie Industriel, École Polytechnique de Montréal
Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols
Nondeterministic Admissible Interference John Mullins
Using Admissible Interference to Detect Denial of Service Vulnerabilities
Information Processing Letters 97 (2006) 104108 www.elsevier.com/locate/ipl
ELSEVIER TheoreticalComputer Science 174 (1997) 231-246 Theoretical
Model Checking of Extended OCL Constraints on UML Models in SOCLe
Non-Interference Control Synthesis for Security Timed Automata1
A Probabilistic Scheduler for the Analysis of Cryptographic Protocols1
Theoretical Computer Science 258 (2001) 233267 www.elsevier.com/locate/tcs
Calibrating the power of schedulers for probabilistic systems
Two Proof Methods for Bisimulation-based Non-deterministic Admissible Interference
A Generic Enemy Process for the Analysis of Cryptographic St ephane Lafrance John Mullins y
A Symbolic Approach to the Analysis of Security Protocols St ephane Lafrance John Mullins y
An Information Flow Method to Detect Denial of Service Vulnerabilities
