John Mullins

École Polytechnique de Montréal - Montréal / Canada

Engineering & Technology / Computer Science

AD Scientific Index ID: 654759

Polytechnique Montréal

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

École Polytechnique de Montréal

John Mullins's MOST POPULAR ARTICLES

1-) Quantifying opacity Mathematical Structures in Computer Science 25 (2), 361-403, 2015

2-) On the verification of intransitive noninterference in mulitlevel security IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics) 35 …, 2005

3-) Nondeterministic admissible interference Journal of Universal Computer Science, 2024

4-) A calculus for generation, verification and refinement of bpel specifications Electronic Notes in Theoretical Computer Science 200 (3), 43-65, 2008

5-) Non-interference control synthesis for security timed automata Electronic Notes in Theoretical Computer Science 180 (1), 35-53, 2007

ARTICLES

Add your articles