| No. |
Paper Inforamtion |
| 2010 |
| 28 |
周洲仪 贺也平 梁洪亮 .
基于Biba和Clark-Wilson策略的混合强制完整性模型.
软件学报,
2010,
(01): |
| 2009 |
| 27 |
曾伟明 薛云志 赵琛 贺也平 .
一种编译优化测试用例自动生成方法的设计与实现.
小型微型计算机系统,
2009, 30
(01): 13-18 |
| 26 |
刘国鑫 郭烈恩 贺也平 郭亮 .
嵌入式DSP系统中SDF模型的层次化存储优化方法.
计算机辅助设计与图形学学报,
2009,
(03): 362-368 |
| 25 |
刘伟 蔡嘉勇 贺也平 .
基于角色的管理模型隐式授权分析.
软件学报,
2009,
(04): 1048-1057 |
| 24 |
吴新松 周洲仪 贺也平 梁洪亮 袁春阳 .
基于静态分析的强制访问控制框架的正确性验证.
计算机学报,
2009,
(04): 730-739 |
| 2008 |
| 23 |
石志国 贺也平 淮晓永 张宏 .
一种面向网格计算的分布式匿名协作算法.
计算机研究与发展,
2008,
(01): |
| 22 |
孟策 贺也平 罗宇翔 .
C代码API一致性检验中的等值分析.
软件学报,
2008, 19
(10): 2550-2561 |
| 21 |
张宏 贺也平 石志国 .
一种改进的数据求精证明规则.
计算机工程,
2008, 34
(01): 23-25 |
| 20 |
陈小岩 贺也平 徐梓耀 邓灵莉 .
安全ARP的Clark-Wilson模型化.
计算机科学,
2008,
(01): 64-66 |
| 19 |
石志国 贺也平 张宏 .
一种基于TPM匿名证书的信任协商方案.
计算机研究与发展,
2008,
(08): |
| 18 |
石志国 贺也平 淮晓永 张宏 .
一种面向网格计算的分布式匿名协作算法.
计算机研究与发展,
2008,
(S1): |
| 2007 |
| 17 |
袁春阳 贺也平 潘学俭 梁洪亮 .
使用CC标准开发的高保证安全信息系统.
计算机科学,
2007, 34
(02): 17-22 |
| 16 |
袁春阳 李琳 石文昌 梁洪亮 贺也平 .
改进增强型高安全等级操作系统SECIMOS的设计与实现.
计算机科学,
2007, 34
(08): 289-293 |
| 15 |
李松林 袁春阳 朱继峰 淮晓永 梁洪亮 贺也平 .
安全操作系统中基于安全性损害分析的可信恢复.
计算机科学,
2007, 34
(02): 264-267 |
| 14 |
马勇 卿斯汉 贺也平 .
一种基于RBAC的电子商务匿名性与可追究性实现方案.
计算机科学,
2007, 34
(07): 86-89 |
| 13 |
刘伟 蔡嘉勇 贺也平 .
一种基于信任度的自组安全互操作方法.
软件学报,
2007, 18
(08): 1958-1967 |
| 12 |
张宏 贺也平 石志国 .
一个支持空间上下文的访问控制形式模型.
中国科学E辑,
2007, 37
(02): 254-271 |
| 11 |
张宏 贺也平 石志国 .
一个支持空间上下文的访问控制形式模型.
中国科学E辑,
2007,
(): 254-272 |
| 10 |
石志国 贺也平 张宏 .
一种对等计算安全性的时间自衰减信任管理算法.
计算机研究与发展,
2007, 44
(01): 1-10 |
| 2006 |
| 9 |
张宏 贺也平 石志国 .
基于周期时间限制的自主访问控制委托模型.
计算机学报,
2006, 29
(08): 1427-1437 |
| 8 |
沈晴霓 卿斯汉 贺也平 李丽萍 .
一种支持动态调节的最小特权安全策略架构.
电子学报,
2006, 34
(10): 1803-1808 |
| 7 |
甘泉 贺也平 韩乃平 .
一种改进的基于角色的访问控制.
计算机工程,
2006, 32
(07): 140-143 |
| 2005 |
| 6 |
季庆光 卿斯汉 贺也平 .
基于DTE技术的完整性保护形式模型.
中国科学E辑,
2005, 35
(06): 570-587 |
| 2004 |
| 5 |
季庆光 卿斯汉 贺也平 .
一个改进的可动态调节的机密性策略模型.
软件学报,
2004, 15
(10): 1547-1557 |
| 4 |
季庆光 卿斯汉 贺也平 .
支持POSIX权能机制的一个新的特权控制的形式模型.
中国科学E辑,
2004, 34
(06): 683-700 |
| 2002 |
| 3 |
吴文玲 贺也平 冯登国 卿斯汉 .
MARS和Rijndael的能量攻击(英文).
软件学报,
2002, 13
(04): 532-536 |
| 2001 |
| 2 |
吴文玲 贺也平 冯登国 卿斯汉 .
欧洲21世纪数据加密标准候选算法简评.
软件学报,
2001, 12
(01): 49-55 |
| 2000 |
| 1 |
贺也平 吴文玲 卿斯汉 .
截断差分-线性密码分析.
软件学报,
2000, 11
(10): 1294-1298 |
承担项目历史 |
| *注:由于资助项目信息是由程序自动集成,因此以下项目信息仅供参考,如有任何错误,请联系zhywang (at) ruc (dot) edu (dot) cn |
| 项目起止年份 | 项目名称 | 项目类别 | 经费(万) |
| 2009~2011 | 代码安全属性度量技术研究 | 国家自然科学基金-重大研究计划 项目号:90818012 | 50 |