Characterizing intransitive noninterference for 3-domain security policies with observability
Hadj-Alouane, N.B., Lafrance, S., Feng Lin, Mullins, J., Yeddes, M.
Published in IEEE transactions on automatic control (01.06.2005)
Published in IEEE transactions on automatic control (01.06.2005)
Get full text
Journal Article
Variable lookahead supervisory control with state information
Hadj-Alouane, N.B., Lafortune, S., Feng Lin
Published in IEEE transactions on automatic control (01.12.1994)
Published in IEEE transactions on automatic control (01.12.1994)
Get full text
Journal Article
Diagnosis of a Class of Timed Discrete Event Systems
Derbel, H., Yeddes, M., Hadj-Alouane, N.B., Alla, H.
Published in 2006 8th International Workshop on Discrete Event Systems (2006)
Published in 2006 8th International Workshop on Discrete Event Systems (2006)
Get full text
Conference Proceeding