𝔖 Bobbio Scriptorium

✦ LIBER ✦

Formalizing non-interference for a simple bytecode language in Coq

✍ Scribed by Florian Kammüller

Book ID: 105844965
Publisher: Springer
Year: 2007
Tongue: English
Weight: 207 KB
Volume: 20
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-007-0055-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Derivation of a modified paraxial formal

Derivation of a modified paraxial formalism for two-dimensional trajectories in electron and ion sources of non-simple geometries

✍ N. M. Miskovsky; P. H. Cutler; T. E. Feuchtwang 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 642 KB