Dynamic intransitive noninterference revisited
Crossref DOI link: https://doi.org/10.1007/s00165-017-0430-6
Published Print: 2017-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Eggert, Sebastian
van der Meyden, Ron https://orcid.org/0000-0002-9243-0571
Funding for this research was provided by:
Australian Research Council (DP1097203)
Text and Data Mining valid from 2017-11-01
Version of Record valid from 2017-11-01
Article History
Received: 21 January 2016
Accepted: 4 April 2017
First Online: 6 June 2017