A general language-based framework for specifying and verifying notions of opacity
Crossref DOI link: https://doi.org/10.1007/s10626-021-00357-x
Published Online: 2022-02-02
Published Print: 2022-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Wintenberg, Andrew http://orcid.org/0000-0001-7522-5309
Blischke, Matthew
Lafortune, Stéphane
Ozay, Necmiye
Text and Data Mining valid from 2022-02-02
Version of Record valid from 2022-02-02
Article History
Received: 14 February 2021
Accepted: 4 December 2021
First Online: 2 February 2022