✦ LIBER ✦

A formal security model for microprocessor hardware

✍ Scribed by Lotz, V.; Kessler, V.; Walter, G.H.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formalized model for a conversational ha

✍ E. A. Alekseenko; A. M. Dovgyallo 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 596 KB

A formalism for visual security protocol

✍ J. McDermott; G. Allwein 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 922 KB

A new microprocessor interfacing hardwar

✍ Upadhya, S.S.; Kant, K.; Singh, G. 📂 Article 📅 1982 🏛 IEEE 🌐 English ⚖ 190 KB

A formal model for the security of proxy

✍ Gu Chun-xiang; Zhu Yue-fei; Zhang Ya-juan 📂 Article 📅 2005 🏛 Wuhan University 🌐 English ⚖ 371 KB

Design of a hardware arbiter for multi-m

✍ JCC Nelson; MK Refai 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 304 KB

Hardware security platform for multicast

✍ Granado-Criado, José M.; Vega-Rodríguez, Miguel A.; Sánchez-Pérez, Juan M.; Góme 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 892 KB