Accueil › Annuaire des chercheurs › John Mullins
John Mullins
Affiliation : Polytechnique Montréal
- 7Publications (affiliation canadienne)
- 115Publications au total
- 592Citations
- 14Indice h
Profil de recherche
John Mullins compte 7 publications référencées (2004–2021). Ses travaux paraissent principalement dans « Journal of Information Security and Applications », « International Journal of Foundations of Computer Science » et « arXiv (Cornell University) ». Son article le plus cité, « On the Verification of Intransitive Noninterference in Mulitlevel Security » (2005), a été cité 62 fois. 2 de ces publications datent des trois dernières années d’activité. Ses travaux sont cosignés avec au moins 3 chercheurs, notamment dans des établissements de Tunisie.
C’est vous ? Faites connaître vos travaux
Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.
Créer mon profil gratuit Ajouter mes publicationsDomaines de recherche
- 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
Revues de publication
- 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 par année
- 20212
- 20131
- 20052
- 20042
Collaborations
Établissements partenaires : University of Carthage · Université de Montréal
Pays des co-auteurs : Tunisie
Co-auteurs
Données bibliographiques issues d’OpenAlex (base ouverte).
Pourquoi choisir Dzcademia ?
Pour donner à vos travaux plus de chances d’être découverts et recommandés par les IA. Profils, articles et communications : donnez à votre recherche une présence publique structurée. Les métadonnées intégrées aident les moteurs de recherche et les assistants IA à identifier vos travaux et à comprendre leurs références.
Commenter avec Google
Connecte-toi avec Google pour commenter directement sur cette page.