基于细粒度信息流分析的高可靠系统安全验证方法研究
61303224
2013
F0205.网络与系统安全
胡伟
青年科学基金项目
副教授
西北工业大学
26万元
形式化方法;无干扰;高可靠系统;安全验证;信息流分析
2014-01-01到2016-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | Gate-Level Information Flow Tracking for Security Lattices | 期刊论文 | Baolei Mao|Mohit Tiwari|Timothy Sherwood|Ryan Kastner| |
| 2 | 基于门级信息流分析的安全体系架构设计与验证方法 | 期刊论文 | 胡 伟|慕德俊|黄兴利|邰 瑜| |
| 3 | 嵌入式多处理器系统混合调度机制的研究 | 期刊论文 | 慕德俊|郭蓝天|黄兴利|李刘涛| |
| 4 | 一种精确故障效应传播的形式化模型 | 期刊论文 | 胡伟|慕德俊|郭蓝天|李哲| |
| 5 | 一种基于LDA主题模型的话题发现方法 | 期刊论文 | 李扬|慕德俊|杨涛|李哲| |
| 6 | 面向XMPP的端到端安全通信研究 | 期刊论文 | 解雪妮|戴航|罗怡|张慧翔| |
| 7 | 基于自组织映射的安卓恶意软件分析研究 | 期刊论文 | 杨佳|张慧翔|罗怡|付俊平| |
| 8 | Secure Hardware Design Through Bit-tight Information Flow Control | 会议论文 | Hu, Wei|Tai, Yu|Zhang, Huixiang|Mu, Dejun| |
| 9 | 门级信息流分析理论及应用 | 专著 | 胡伟|慕德俊| |
| 10 | A bottom-up approach to verifiable embedded system information flow security | 期刊论文 | Dejun Mu|Wei Hu|Baolei Mao|Bo Ma| |
| 11 | Generating Optimized Gate Level Information Flow Tracking Logic for Enforcing Multilevel Security | 期刊论文 | Wei Hu|Hui-xiang Zhang|De-jun Mu|Xing-li Huang| |
| 12 | Android恶意程序行为分析系统设计 | 期刊论文 | 李静华|慕德俊|杨鸣坤|胡伟| |
查看更多信息请先登录或注册
