On the verification of intransitive noninterference in multilevel security - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Mohamed Moez Yeddes. On the verification of intransitive noninterference in multilevel security. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 35(5):948-958, 2005. [doi]

This author has not been identified. Look up 'Nejib Ben Hadj-Alouane' in GoogleThis author has not been identified. Look up 'Stéphane Lafrance' in GoogleThis author has not been identified. Look up 'Feng Lin' in GoogleThis author has not been identified. Look up 'John Mullins' in GoogleThis author has not been identified. Look up 'Mohamed Moez Yeddes' in Google

runs on WebDSL