✦ LIBER ✦

Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access

✍ Scribed by Cheminod, Manuel; Pironti, Alfredo; Sisto, Riccardo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Remote access systems for statistical an

✍ Barry Schouten; Marc Cigrang 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 158 KB

Formal Modeling and Analysis of a Secure

✍ Lu Ma; Tsai, J.J.P. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 467 KB

A survey of static analysis methods for

✍ Pistoia, M.; Chandra, S.; Fink, S. J.; Yahav, E. 📂 Article 📅 2007 🏛 IBM 🌐 English ⚖ 438 KB

A multilayer neural network system for c

✍ Obaidat, M.S.; Macchairolo, D.T. 📂 Article 📅 1994 🏛 Institute of Electrical and Electronics Engineers ⚖ 762 KB

Integrated security analysis framework f

✍ Bera, P.; Ghosh, S.K.; Dasgupta, P. 📂 Article 📅 2010 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 925 KB

Quantitatively assessing the vulnerabili

✍ Sandip C. Patel; James H. Graham; Patricia A.S. Ralston 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 723 KB