扫描手机二维码
开通时间：..
最后更新时间：..
的个人主页 http://shi.buaa.edu.cn/tangmingsheng/zh_CN/index.htm
不限于从软件、固件或协议等方面，分析挖掘系统安全漏洞。重点从系统宏观视角，根据系统业务工艺流程，研究基于语义推理的自动化或半自动化的安全分析技术和工具。
赞
