庄毅
+
Gender:Female
Education Level:University graduated
Scientific Research
Current position:
Home
/
Scientific Research
Research Field
Paper Publications
-
Hu X. PHRiMA: A Permission-Based Hybrid Risk Management Framework for Android Apps.Computers & Security.2020
-
zy. A security modeling and verification method of embedded software based on Z and MARTE.Comput Secur.2020
-
潘家晔. BAHK: Flexible Automated Binary Analysis Method with the Assistance of Hardware and System Kernel.Security and Communication Networks
-
倪思如. A formal model and risk assessment method for security-critical real-time embedded systems.Computers & Security
-
zy. PMCAP: A Threat Model of Process Memory Data on the Windows Operating System.SECURITY AND COMMUNICATION NETWORKS.2017