韩臻

博士、教授

基本信息

办公电话:010-51688789 电子邮件: zhan@bjtu.edu.cn
通讯地址:北京交通大学计算机学院 邮编:100044

教育背景

1979-1984年浙江大学数学系获学士学位;

1984-1986年北京应用物理与计算数学研究所工作;

1986-1992中国工程物理研究院北京研究生部获博士学位;

1992-1994年中国科学院计算中心博士后出站;

1994年至今北京交通大学工作.

工作经历

研究方向

  • 计算机安全
  • 人工智能及应用
  • 系统安全
  • 计算机技术
  • 软件工程
  • 人工智能
  • 网络与信息安全

招生专业

  • 计算机科学与技术硕士
  • 网络空间安全硕士
  • 计算机技术硕士
  • 软件工程硕士
  • 人工智能硕士
  • 计算机科学与技术博士
  • 网络空间安全博士
  • 网络与信息安全硕士
  • 网络与信息安全博士

科研项目

  1. 红果园:基于云计算的涉密信息系统安全保密测评与检查能力建设,2013-01-01--2014-12-31,80.0万元,主持
  2. 教育部“创新团队”:“数字媒体信息处理”教育部创新团队_子课题3 ,2013-01-01--2015-12-31,10.0万元,主持
  3. 博士点基金:可信云服务平台的关键技术研究,2012-04-01--2015-04-30,12.0万元,主持
  4. 铁道部科技司:信息系统互联互通及安全、维护技术应用研究——铁路信息安全等级保护体系及关键技术研究,2012-08-31--2013-09-30,23.5万元,主持
  5. 铁道部科技司:网络与信息安全保障体系框架及关键技术研究项目相关安全测试,2012-06-01--2013-01-31,15.0万元,主持
  6. 红果园:可信计算密码平台,2009-09-01--2010-03-30,220.0万元,主持
  7. 其它部市:产学研结合培养信息安全专业人才模式的研究,2009-10-01--2010-06-30,5.0万元,主持
  8. 国家自然科学基金“面上”:基于TCM的匿名证明和隐私保护,2010-01-01--2012-12-31,31.0万元,参加
  9. 铁道部业务局:铁路信息系统灾难备份建设方案研究,2008-12-20--2009-12-31,2.0万元,主持
  10. 科技部“863”:虚拟个人计算机系统的可信支撑技术研究,2008-01-24--2009-09-30,46.0万元,参加
  11. 教育部“创新团队”:未来互联网络体系研究,2008-01-01--2010-12-31,15.0万元,主持
  12. 科技部“863”:可信计算平台信任链建立关键技术,2007-12-18--2009-12-31,88.0万元,主持
  13. 北京市科委:终端安全体系结构研究及关键技术研发,2007-09-10--2009-09-10,40.0万元,参加
  14. 铁道部科技司:铁路信息系统应用与技术研究-铁路信息网络灾备系统安全防护与灾备恢复技术,2007-08-20--2008-03-31,30.0万元,主持
  15. 其它部市:可信计算技术和产业发展及相关对策研究,2007-05-01--2008-05-31,15.0万元,主持
  16. 科技部“973”:一体化网络与普适服务的体系理论与结构-3,2007-05-01--2012-08-31,20.0万元,主持
  17. 红果园:zzbb-jsjxy-韩臻-专项任务,2006-09-01--2008-06-30,25.0万元,主持
  18. 其它部市:信息安全教育现状分析和发展对策的研究,2005-12-01--2006-06-30,9.0万元,主持
  19. 其它部市:可信计算技术发展趋势研究,2005-07-01--2006-03-15,14.0万元,主持
  20. 其它部市:网络信息加密技术-PKI关键技术研究,2004-01-01--2004-12-01,10.0万元,主持
  21. 红果园:Kylin操作系统可信支撑模块研制,2004-11-01--2005-11-01,100.0万元,主持
  22. 其它部市:公务人员使用计算机及上网的安全规程的研究,2003-07-12--2003-12-12,7.0万元,主持
  23. 科技部"973":信息网络安全体系结构研究,2002-09-01--2005-09-01,168.9万元,参加
  24. 科技部:(863)计算机信息系统安全体系结构研究,2002-10-12--2003-12-12,50.0万元,主持
  25. 铁道部科技司:铁路电子公文及互联网站安全管理策略,2002-07-19--2002-12-31,6.0万元,主持

教学工作

从事信息安全和计算机应用技术方面的本科和研究生教学工作.

本科课程:<信息安全概论>,<计算方法>

研究生课程:<计算机安全>,<组合数学>

论文/期刊

  1. 期 刊-> 吴同,韩臻.基于类选的电子证据评估算法[J]。北京交通大学学报,2013-10,37(171),88:92
  2. 期 刊-> 邢彬,韩臻,刘吉强.面向云计算的一种完整性远程验证代理设计方案[J]。保密科学技术 第二十一届全国信息安全保密学术会议论文集,2011-10,2011年10月(2011年10月),152:156
  3. 期 刊-> 邢彬,韩臻,刘吉强,常晓林.Trusted Bootstrap of Para-Virtualized Domain[J]。American Journal of Engineering and Technology Research,2011-12,11(2011.12),314:318
  4. 期 刊-> 赵佳,韩臻,何永忠,邵丽萍.保密专业课程设置及教材选用[J]。计算机教育,2012-06,10(11),110:115
  5. 期 刊-> 韩磊,刘吉强,韩臻,魏学业.Design and implementation of a portable TPM scheme for general-purpose trusted computing based on EFI[J]。Front. Comput. Sci. China,2011-02,5(2),169:180
  6. 期 刊-> 韩磊,刘吉强,韩臻,魏学业.Design and implementation of a portable TPM scheme for general-purpose trusted computing based on EFI[J]。computer science,2011-02,5(2),169:180
  7. 期 刊-> 刘吉强,韩臻.Full and Partial Deniability for Authentication Schemes[J]。Frontiers of Computer Science in China,2011-01,4(4),516:521
  8. 期 刊-> 赵佳,韩臻,刘吉强,章睿.基于可信密码模块的远程证明协议[J]。北京交通大学学报,2010-12,34(2),
  9. 期 刊-> 赵佳,韩臻,刘吉强,沈昌祥.XTR体制下基于身份特征的数字签名算法[J]。信号处理,2009-12,25(3),
  10. 期 刊-> 赵佳,刘吉强,韩臻,沈昌祥.具有时间限制的动态秘密共享方案[J]。通信学报,2008-12,29(sup),
  11. 期 刊-> 赵佳,韩臻,刘吉强.A Noninterference-based Trusted Chain Model[J]。Journal of Computer Research and Development,2008-12,45(6),
  12. 期 刊-> 赵佳,韩臻,刘吉强.A Noninterference-based Trusted Chain Model[J]。Journal of Computer Research and Development,2008-12,45(6),
  13. 期 刊-> 赵勇,刘吉强,韩臻.基于身份的盲签名在移动电子支付中的应用[J]。北京交通大学学报,2007-12,31(5),
  14. 期 刊-> 李晓勇,韩臻.Windows环境下信任链传递及其性能分析[J]。计算机研究与发展,2007-12,44(11),
  15. 期 刊-> 周源邵,杨武杰,陈兴蜀,韩臻.SOCKS V5服务器运行模式的分析[J]。计算机工程与应用,2004-12,
  16. 期 刊-> 杨洋,杨武杰,周源邵,韩臻,陈兴蜀.SOCKS V5服务器性能测试工具的研究与实现[J]。计算机工程与应用,2004-12,
  17. 期 刊-> 李凯,高翠霞,韩臻,华勇.中央银行会计集中核算系统中打印工具的设计[J]。铁路计算机应用,2003-12,12(4),
  18. 期 刊-> 华勇,韩臻.在ACBS中程序自动生成的方法及应用[J]。铁路计算机应用,2003-12,12(6),
  19. 期 刊-> 吴丹,杨武杰,韩臻.自动代理检测方法的研究与实现[J]。计算机应用,2003-12,23(6),
  20. 期 刊-> 高翠霞,韩臻.Gregory-Qu算法与Hermit细分曲线构造法的比较[J]。计算机辅助设计与图形学学报,2003-12,15(3),
  21. 期 刊-> 高翠霞,韩臻.网格简化算法的比较[J]。微型机与应用,2003-12,22(1),
  22. 期 刊-> 陈玲,杨武杰,韩臻,陈兴蜀.SOCKS V5服务器的安全策略配置[J]。微型机与应用,2003-12,22(7),
  23. 期 刊-> 高健媛,韩臻.网络地址转换器的应用及局限性分析[J]。铁路计算机应用,2002-12,
  24. 期 刊-> 高翠霞,韩臻.Gregory-Qu算法与Hermit细分曲线构造法的比较[J]。计算机辅助设计与图形学学报,2002-12,
  25. 期 刊-> 高翠霞,韩臻.网络简化算法的比较[J]。微型机与应用,2002-12,
  26. 期 刊-> 温津伟,罗四维,韩臻.混合神经网络分类器信念分配问题的研究[J]。铁道学报,2001-12,
  27. 期 刊-> 蓝曾威,韩臻.PKI认证模型的现状与发展[J]。铁路计算机应用,2001-12,
  28. 期 刊-> 姜彦儒,韩臻,魏学业.基于分形维数的FSK信号检测[J]。铁道学报,2001-12,
  29. 期 刊-> 温津伟,赵嘉莉,罗四维,韩臻.基于Bayesian方法的神经网络新学习算法[J]。计算机研究与发展,2001-12,38(7),
  30. 期 刊-> 俞慧丹,韩臻.一种快速逼近Fourier级数和的实用算子[J]。力学学报,2000-12,VOL.32(NO.1),
  31. 会议论文-> 黄学臻,刘吉强,韩臻.A Security and Privacy Model for Electronic Health Records。2011 International Conference on Information Theory and Information Security (ICITIS2011),杭州,416:416,2011-11
  32. 会议论文-> 张大伟,韩臻.Optimized Java Card Transaction Mechanism Based on Object Locality。SYMPOSIUM ON APPLIED COMPUTING 2010,瑞士,550:550,2010-12
  33. 会议论文-> 张大伟,韩臻.A Portable TPM Based on USB Key。the 17th ACM conference on Computer and communications security,芝加哥,750:750,2010-12
  34. 会议论文-> 彭双和,韩臻.A Trusted Boot System Using Portable TPM on EFI based BIOS。Proceedings of 2010 Cross-Strait Conference on Information Science and Technology,秦皇岛,2010-12
  35. 会议论文-> 彭双和,韩臻.Design and Implementation of Portable TPM Device Driver Based on Extensible Firmware Interface。Mines2009,武汉,2009-12
  36. 会议论文-> 赵佳,刘吉强,韩臻,沈昌祥.Identity Based Digital Signature Algorithm of XTR System。International conference on signal processing,北京,2008-12
  37. 会议论文-> 赵佳,刘吉强,韩臻.Identity Based Digital Signature Algorithm of XTR System。International conference on signal processing proceedings,北京,2008-12
  38. 会议论文-> 李晓勇,韩臻.Transitive Trust to Executables Generated During Runtime。second international conference on innovative computing information and control,Kumamoto,2008-12
  39. 会议论文-> 刘吉强,赵佳,韩臻.A Remote Anonymous Attestation Protocol in Trusted Computing。IPDPS08,Miami, Florida USA,2008-12
  40. 会议论文-> 何永忠,韩臻.An Efficient Authenticated Group Key Agreement Protocol。IEEE ICCST 2007,加拿大,2007-12
  41. 会议论文-> 李晓勇,韩臻.Software complexity based remote attestation。ICICIC 2006,北京交通大学,2006-12
  42. 会议论文-> 李晓勇,韩臻.An Efficient Attestation for Trustworthiness of Computing Platform。IEEE International Conference on Intelligent Information Hiding and Multimedia Signal Processing,Pasadena, CA, USA,2006-12
  43. 会议论文-> 刘吉强,韩臻.Secure Audit Logs Server to support Computer Forensics in Criminal investigations。TENCON2002,北京,2002-12
  44. 会议论文-> 蓝曾威,韩臻.Hierarchy-Distribution Combined PKI Trast Model。TENCON 2002,北京,2002-12
  45. 会议论文-> 温津伟,韩臻,赵嘉莉,黄华,罗四维.The ICA Model for Noisy Speech Data。APPT’2001,2001-12
  46. 会议论文-> 蔡天星,韩臻.Extracting Signal Frequency from Chaotic Circuit Clutter。ICII2001,新加坡,2001-12
  47. 会议论文-> 温津伟,韩臻,赵嘉莉,罗四维.The Research on the Load Banancing Intelligent Schedule Model Based on Nows。亚太国际微机应用学术会议,合肥,2000-12
  48. 会议论文-> 温津伟,赵嘉莉,罗四维,韩臻.The Improvements of BP Neural Network Learning Algorithm。WCC2000 ICSP2000,北京,2000-12

专著/译著

 

 1. 韩 臻,刘巍伟,刘欣,《Windows安全功能使用向导》,北京交大出版社/清华大学出版社,20057月。

 2.《Novell指南-多协议网络互联》,韩 臻等译,电子工业出版社,1995.2, 316千字, 本人100千字.

 3Novell服务与支持》,韩臻等译, Novell Education, 1997.4,  573千字,本人120千字.

专利

获得发明专利8项、软件著作权5项、“国家重点新产品证书”1项。

软件著作权

获奖与荣誉

曾获教育部科技进步一等奖(排名4)、核工业部科技进步二等奖(排名5)、中国科协第二届青年科技大会优秀论文奖、中国学位与研究生教育学会十一五研究课题优良成果奖等奖励。

1998年被评为北京市高等学校青年学科带头人,2006年获得学校优秀教育工作者标兵称号,2008年获国务院政府特殊津贴,2009年被评为学校优秀主讲教师。

社会兼职

中国计算机学会信息保密专委会副主任委员、教育部高等学校信息安全专业教学指导委员会副主任委员。