Login / Signup
Formal Modeling and Verification of Security Properties of a Ransomware-Resistant SSD.
Shivani Tripathy
Debiprasanna Sahoo
Manoranjan Satpathy
Madhu Mutyam
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
</>
security properties
formal methods
formal model
cryptographic protocols
model checking
security analysis
modeling language
security requirements
security protocols
security vulnerabilities
software engineering
end to end
formal specification