Formal Modeling and Verification of Security Properties of a Ransomware-Resistant SSD
Autor: | Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Madhu Mutyam |
---|---|
Rok vydání: | 2022 |
Předmět: | |
Zdroj: | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. :1-1 |
ISSN: | 1937-4151 0278-0070 |
Databáze: | OpenAIRE |
Externí odkaz: |