Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Bambeck, Jacob"'
Information flow control (IFC) provides confidentiality by enforcing noninterference, which ensures that high-secrecy values cannot affect low-secrecy values. Prior work introduces fine-grained IFC approaches that modify the programming language and
Externí odkaz:
http://arxiv.org/abs/2311.00097
