Conservation of CSP Noninterference Security under Sequential Composition

MaRDI QIDQ7361286FDO

Authors Pasquale Noce

Publication date 26 April 2016

Cites work

• Concrete semantics. With Isabelle/HOL
• Unnamed Publication

Cited in

(1)

• Conservation of CSP Noninterference Security under Concurrent Composition

This page was built for software: Conservation of CSP Noninterference Security under Sequential Composition