Home › Researcher directory › John Mullins
John Mullins
Affiliation : Polytechnique Montréal
- 7Publications (affiliation in Canada)
- 115Total publications
- 592Citations
- 14h-index
Research profile
John Mullins has 7 indexed publications (2004–2021). Their work appears mainly in “Journal of Information Security and Applications”, “International Journal of Foundations of Computer Science” and “arXiv (Cornell University)”. Their most cited article, “On the Verification of Intransitive Noninterference in Mulitlevel Security” (2005), has been cited 62 times. 2 of these publications date from the last three years of activity. Their work is co-authored with at least 3 researchers, including institutions in Tunisia.
Is this you? Get your research seen
Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.
Create my free profile Add my publicationsResearch areas
- Formal Methods in Verification
- Logic, programming, and type systems
- Petri Nets in System Modeling
- Security and Verification in Computing
- Advanced Authentication Protocols Security
Publications (7)
- Bounded opacity for timed systems
- Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language
- Opacity with Orwellian Observers and Intransitive Non-interference
- On the Verification of Intransitive Noninterference in Mulitlevel Security
- Characterizing intransitive noninterference for 3-domain security policies with observability
- An algorithmic approach to verification of intransitive non-interference in security policies
- Discrete event systems approach to the verification of the information flow properties in secure protocols
Publication venues
- Journal of Information Security and Applications × 1
- International Journal of Foundations of Computer Science × 1
- arXiv (Cornell University) × 1
- IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) × 1
- IEEE Transactions on Automatic Control × 1
- IEEE Conference on Decision and Control (CDC) × 1
Publications per year
- 20212
- 20131
- 20052
- 20042
Collaborations
Partner institutions : University of Carthage · Université de Montréal
Co-authors’ countries : Tunisia
Co-authors
Bibliographic data from OpenAlex (open database).
Why choose Dzcademia?
Profiles, articles and conference contributions: give your research a structured public presence. Integrated metadata help search engines and AI assistants identify your work and understand its references.
Comment with Google
Sign in with Google to comment directly on this page.