Normalising Lustre preserves security
From MaRDI portal
Publication:2119981
DOI10.1007/978-3-030-85315-0_16MaRDI QIDQ2119981
Sanjiva Prasad, R. Madhukar Yerraguntla
Publication date: 31 March 2022
Full work available at URL: https://arxiv.org/abs/2105.10687
non-interference; security type system; \textsc{Lustre}; compiler transformation; security preservation; synchronous reactive data flow
68Qxx: Theory of computing
Uses Software