✦ LIBER ✦

On the verification of intransitive noninterference in mulitlevel security

✍ Scribed by Hadj-Alouane, N.B.; Lafrance, S.; Feng Lin; Mullins, J.; Yeddes, M.M.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symbolic algorithmic verification of int

✍ Zhou, CongHua; Liu, ZhiFeng; Wu, HaiLing; Chen, Song; Ju, ShiGuang 📂 Article 📅 2011 🏛 Science in China Press (SCP) 🌐 English ⚖ 375 KB

On the verification of security-aware E-

✍ Silvio Ranise 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 458 KB

On Formulae of Verification in the Parti

✍ Glaisher, J. W. L. 📂 Article 📅 1876 🏛 The Royal Society ⚖ 392 KB

On Deducing Timing Constraints in the Ve

✍ F. Mavaddat; T. Gahlinger 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 188 KB

Economics of Information Security and Pr

✍ Schneier, Bruce 📂 Article 📅 2012 🏛 Springer New York ⚖ 757 KB

Gravitational limitation on the verifica

✍ P. Tourrenc; T. Melliti 📂 Article 📅 1995 🏛 Springer US 🌐 English ⚖ 537 KB