韩臻

博士、教授

基本信息

办公电话：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安全功能使用向导》，北京交大出版社/清华大学出版社，2005年7月。

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

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

专利

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

软件著作权

获奖与荣誉

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

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

社会兼职

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