×

zbMATH — the first resource for mathematics

Mullins, John

Compute Distance To:
Author ID: mullins.john Recent zbMATH articles by "Mullins, John"
Published as: Mullins, J.; Mullins, John
External Links: MGP
Documents Indexed: 18 Publications since 1992, including 1 Book

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 24 times in 20 Documents Cited by Year
Quantifying opacity. Zbl 1361.68117
Bérard, Béatrice; Mullins, John; Sassolas, Mathieu
7
2015
Characterizing intransitive noninterference for 3-domain security policies with observability. Zbl 1365.94480
Hadj-Alouane, Nejib Ben; Lafrance, Stéphane; Lin, Feng; Mullins, John; Yeddes, Moez
6
2005
Nondeterministic admissible interference. Zbl 0963.68105
Mullins, John
4
2000
Non-interference control synthesis for security timed automata. Zbl 1277.68184
Gardey, Guillaume; Mullins, John; Roux, Olivier H.
3
2007
Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols. Zbl 1268.68129
Lafrance, Stéphane; Mullins, John
2
2002
Model-checking web services orchestrations using BP-calculus. Zbl 1364.68271
Abouzaid, Faisal; Mullins, John
1
2009
Kleene automata and recursion theory. Zbl 0978.03526
Mullins, John
1
1992
Quantifying opacity. Zbl 1361.68117
Bérard, Béatrice; Mullins, John; Sassolas, Mathieu
7
2015
Model-checking web services orchestrations using BP-calculus. Zbl 1364.68271
Abouzaid, Faisal; Mullins, John
1
2009
Non-interference control synthesis for security timed automata. Zbl 1277.68184
Gardey, Guillaume; Mullins, John; Roux, Olivier H.
3
2007
Characterizing intransitive noninterference for 3-domain security policies with observability. Zbl 1365.94480
Hadj-Alouane, Nejib Ben; Lafrance, Stéphane; Lin, Feng; Mullins, John; Yeddes, Moez
6
2005
Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols. Zbl 1268.68129
Lafrance, Stéphane; Mullins, John
2
2002
Nondeterministic admissible interference. Zbl 0963.68105
Mullins, John
4
2000
Kleene automata and recursion theory. Zbl 0978.03526
Mullins, John
1
1992

Citations by Year