scientific article
From MaRDI portal
Publication:3940832
zbMath0482.68029MaRDI QIDQ3940832
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operating systemsflow of controlinterpretation of instructionssecure isolationshared computer system
Related Items (5)
Sufficient conditions for the marked graph realisability of labelled transition systems ⋮ A separated domain-based kernel model for trusted computing ⋮ A comparison of semantic models for noninterference ⋮ Separability and the detection of hidden channels ⋮ Safe functional systems through integrity types and verified assembly
This page was built for publication:
