南京航空航天大学主页平台管理系统 zy--Home-- A formal model and risk assessment method for security-critical real-time embedded systems

Personal Homepage

Personal Information

Degree:Bachelor's degree
School/Department:College of Computer Science and Technology

中文

庄毅

+

Gender:Female

Education Level:University graduated

Paper Publications

Current position: Home / Scientific Research / Paper Publications

A formal model and risk assessment method for security-critical real-time embedded systems

Hits:

Journal:Computers & Security
Indexed by:Journal paper
Document Type:J
Translation or Not:no
Correspondence Author:庄毅

Pre One:BAHK: Flexible Automated Binary Analysis Method with the Assistance of Hardware and System Kernel

Next One:PMCAP: A Threat Model of Process Memory Data on the Windows Operating System