欢迎来到安徽建筑大学数理学院网站!
旧版
系统工程
王焕宝
发布时间: 2016-11-07    浏览次数: 1876

个人简介

  王焕宝,男,博士研究生,教授,硕士生导师。中国计算机学会(CCF)高级会员。

研究方向

  形式化方法、信息安全、并发计算等

科研情况

  主持1项安徽高校自然科学研究重点项目,参与1项国家自然科学基金项目。作为课题骨干参与完成1项国家“十二五”科技支撑计划项目;主持完成安徽省自然科学基金等省级科研课题2项;发表学术论文30余篇,其中3篇论文获安徽省自然科学优秀论文三等奖,SCIEI收录近20篇。

  主持科研项目

  1、基于Spi演算的密码协议并发系统描述与分析研究(090412057),主持人,安徽省自然科学基金项目。

  参与科研项目

  1、徽州传统建筑和聚落适应性改造和品质提升关键技术研究及示范,课题骨干,国家十二五科技支撑计划项目,徽州古建筑群落保护利用和传承关键技术研究与示范(2011BAZ03321

  代表论文:

  [1] Traces over Topological Spaces in Concurrent Security Protocols. Information Technology Journal, Vol.12, 2013

  [2] A sub-graph of strand spaces in security protocols. IMSNA 2013

  [3] STGRs over Topological Spaces for Value-passing Processes. Lecture Notes in Electrical Engineering, Vol. 132, 2011

  [4] Indexed Principal Processes of Concurrent Cryptographic Protocols. ICCSNT 2011

电子邮箱:hubwang@163.com