南京航空航天大学主页平台管理系统庄毅--中文主页-- BAHK: Flexible Automated Binary Analysis Method with the Assistance of Hardware and System Kernel

论文成果当前位置: 中文主页 >> 科学研究 >> 论文成果

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

点击次数：
发表刊物：Security and Communication Networks
文献类型：J
是否译文：否
通讯作者：庄毅

上一条： A security modeling and verification method of embedded software based on Z and MARTE

下一条： A formal model and risk assessment method for security-critical real-time embedded systems