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:	Electrical and Electronic Engineering Computer Graphics and Computer-Aided Design Software
Zdroj:	IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. :1-1
ISSN:	1937-4151 0278-0070
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::79f0f45a2aec6ec514c78af3b3d5975e https://doi.org/10.1109/tcad.2022.3229596 Zobrazit plný text záznamu