Separability and the detection of hidden channels

DOI10.1016/0020-0190(90)90225-MzbMath0695.68021OpenAlexW1992056756MaRDI QIDQ910195

Jeremy L. Jacob

Publication date: 1990

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(90)90225-m

zbMATH Keywords

software engineeringprogram correctnessoperating systemssoftware validation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25) Theory of software (68N99)

Related Items (1)

Semantic models for information flow

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Separability and the detection of hidden channels