The Ipurge Unwinding Theorem for CSP Noninterference Security

MaRDI QIDQ7361702FDO

Authors Pasquale Noce

Publication date 11 June 2015

Cited in

(3)

• Conservation of CSP Noninterference Security under Sequential Composition
• The Generic Unwinding Theorem for CSP Noninterference Security
• The Inductive Unwinding Theorem for CSP Noninterference Security

This page was built for software: The Ipurge Unwinding Theorem for CSP Noninterference Security