A uniform type structure for secure information flow

DOI10.1145/503272.503281zbMath1323.68375OpenAlexW2023931614MaRDI QIDQ5178900

Kohei Honda, Nobuko Yoshida

Publication date: 17 March 2015

Published in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/503272.503281

Mathematics Subject Classification ID

Cryptography (94A60) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Characteristic bisimulation for higher-order session processes ⋮ A generic type system for the pi-calculus ⋮ Securing interaction between threads and the scheduler in the presence of synchronization ⋮ Types and full abstraction for polyadic \(\pi\)-calculus ⋮ Controlling information release in the \(\pi\)-calculus ⋮ Security types preserving compilation ⋮ Strong normalisation in the \(\pi\)-calculus ⋮ Typing access control and secure information flow in sessions ⋮ Cathoristic Logic ⋮ Timing-Sensitive Noninterference through Composition ⋮ Unnamed Item ⋮ The security pi-calculus and non-interference ⋮ Typing noninterference for reactive programs ⋮ Linearity and bisimulation ⋮ Non-disclosure for distributed mobile code ⋮ Genericity and the \(\pi\)-calculus ⋮ Type-based information flow analysis for the \(\pi\)-calculus ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness ⋮ Information flow for Algol-like languages