✦ LIBER ✦

Modeling security as a dependability attribute: a refinement-based approach

✍ Scribed by Ali Mili; Frederick Sheldon; Lamia Labed Jilani; Alex Vinokurov; Alex Thomasian; Rahma Ben Ayed

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A model-based approach to trust, securit

✍ A. Baldwin; Y. Beres; S. Shiu; P. Kearney 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 321 KB

A Satisfiability-Based Approach to Abstr

✍ Bing Li; Chao Wang; Fabio Somenzi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 148 KB

A rough set based dynamic maintenance ap

✍ Hongmei Chen; Tianrui Li; Shaojie Qiao; Da Ruan 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 416 KB

A fuzzy set-based approach for model-bas

✍ Li Hetian; Liu Yun; He Dequan 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 330 KB

A model checking-based approach for secu

✍ Chiara Braghin; Natasha Sharygina; Katerina Barone-Adesi 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 532 KB

A Unified Approach for Modeling and Desi

✍ P. Vellaisamy; S. Sankar 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 328 KB