[Lecture Notes in Computer Science] Formal Techniques for Distributed Objects, Components, and Systems Volume 9688 || Ransomware Steals Your Phone. Formal Methods Rescue It
Albert, Elvira; Lanese, Ivan
- 作者Albert, Elvira; Lanese, Ivan
- 文件大小162.71KB
- 发表时间2016
- DOI10.1007/978-3-319-39570-8_14
- 页码212-221