Can I read Automated Verification of Virtualized Infrastructures on EtoBox?

Automated Verification of Virtualized Infrastructures by تسون تينج تشان is a document available to read on EtoBox.

What is Automated Verification of Virtualized Infrastructures about?

The document discusses a platform for automated verification of virtualized infrastructures, addressing the complexities and security challenges posed by these environments. It integrates declarative description languages with advanced verification methods, allowing for the specification and analysis of security goals such as isolation and failure resilience. The approach includes both static and dynamic analysis, demonstrating its feasibility through case studies and highlighting the need for comprehensive

Author

تسون تينج تشان

Language

EN