John Mullins

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Nejib Ben Hadj-Alouane

> Home > Persons > John Mullins

Publications

2005
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/Hadj-AlouaneLLMY05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/Hadj-AlouaneLLMY05
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes:
Characterizing intransitive noninterference for 3-domain security policies with observability. IEEE Trans. Autom. Control. 50(6): 920-925 (2005)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/Hadj-AlouaneLLMY05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/Hadj-AlouaneLLMY05
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Mohamed Moez Yeddes:
On the verification of intransitive noninterference in multilevel security. IEEE Trans. Syst. Man Cybern. Part B 35(5): 948-958 (2005)
2004
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/Hadj-AlouaneLLM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/Hadj-AlouaneLLM04
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes:
An algorithmic approach to verification of intransitive non-interference in security policies. CDC 2004: 51-56

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.