Session Logical Relations for Noninterference

Information flow control type systems statically restrict the propagation of sensitive data to ensure end-to-end confidentiality. The property to be shown is noninterference, asserting that an attacker cannot infer any secrets from made observations. Session types delimit the kinds of observations t...

Full description

Bibliographic Details

Published in:	Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 1 - 14
Main Authors:	Derakhshan, Farzaneh, Balzer, Stephanie, Jia, Limin
Format:	Conference Proceeding
Language:	English
Published:	IEEE 29.06.2021
Subjects:	Communication channels Computer science Control systems Protocols Security Semantics
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!