A Framework for Formal Specification and Verification of Security
Properties of the Android Permissions System

A Framework for Formal Specification and Verification of Security Properties of the Android Permissions System

18 March 2022

Amirhosein Sayyadabdi

Papers citing "A Framework for Formal Specification and Verification of Security Properties of the Android Permissions System"

Title
No papers