科研综述

怀进鹏提出了网络资源的可信聚合与调度方法，主持研制的系统实现了分布资源的可信共享和利用，为提高分布计算能力提供了实用系统；提出了安全协议分析的代数理论和算法，主持研制了协议自动分析与验证系统；提出了过程类软件自动开发方法和技术，主持研制的软件生产工具提高了面向领域的应用软件开发效率和质量 。1995年前主要从事逻辑推理与智能数据库研究，他解决了缺省逻辑和限制逻辑中缺乏知识更新与进化机理问题，给出了ATMS的语义和递归查询算法 。

网络资源的可信共享与协同技术方面

怀进鹏较早提出并深入研究了资源的可管性、可协同性和可信性问题，在服务资源的建模与组织、服务部署与信任管理、资源的分配与调度、可信服务体系 结构、分布式委托授权与信任管理等方面做出了系统的创新性研究工作；研制了互联网资源的可信共享与协同支撑平台CROWN（总代码量40万行），通过了英国国家Science工程任务组ETF测评（2005年6～12月），并建立了连接中国、英国、美国、澳大利亚和香港地区的41个节点的广域综合试验环境，与国际同类系统相比在功能和性能上具有优势，已在气象、高能物理、海量信息处理和计算流体力学等领域得到应用，基于CROWN平台与浪潮集团研发的产业化版本，CROWN Virtual Cluster已成为浪潮集群计算机的预装软件进入市场；其中资源调度与分配系统被英国OMII中间件采用，并应邀与美Globus、英OMII和欧洲EGEE等系统在第19届国际超级计算会议（SC06）和OGF在线演示和集成，设计实现了异构系统间三种互操作方法，提升了中国网络资源的可信聚合与调度系统技术的整体水平和国际竞争能力 。

网络化软件开发方法方面

怀进鹏等较早开展了XML及Web服务中间件技术研发，2002年主持完成了Web服务应用支撑环境。为了解决从需求规约到软件设计的有效转换问题，怀进鹏等采用面向目标的软件开发方法，通过目标发现和抽象、目标选择和精化，以及目标操作化，提出了面向领域的软件目标操作模型，统一描述了目标与操作、主体属性域及其关系；针对电子政务和电子商务中过程类软件设计到开发的自动转换问题，将业务处理视为对数据及其运行状态序列的管理，抽象出业务处理流程、操作序列、主体和客体等四个参数，提出了基于规则的元数据表示方法和面向数据交换与共享的软总线，并提出了基于软总线和多引擎协作的体系结构，进而将过程类软件开发转换为上述四个参数的实例化，为面向领域的软件开发提供了一种高效的软件工具，并已成功应用于多个领域的软件“零编程”开发，获得了5项发明专利 。

安全协议模型与算法方面

怀进鹏等在国际上较早运用代数学方法研究安全协议和安全性质，创新地建立了密码协议代数（Cryptographic Protocol Algebra, CPA）及其形式化模型。通过CPA上迁移函数及其序列精确描述消息的交互关系和协议运行过程，通过子代数、多项式代数、自由生成元等刻画主体（包括攻击者）的知识扩张过程，统一解决了多种密码运算和协议运行的形式化问题，特别是推广同调代数中正合序列概念，揭示了对协议的攻击活动过程，使协议安全性验证转化为该序列是否满足相应的安全性目标，为密码协议的安全性研究提供了新的研究方法和理论。针对协议安全性验证的复杂性，怀进鹏等证明了协议分析中所有正合序列空间可约简为有限固定主体产生的正规序列空间，极大地缩小了需要分析的空间；证明了消息无关时，密码协议合成保持安全性的一个充分条件，部分解决了密码协议的一致性问题；并提出了一种高效的安全协议安全性自动分析算法，支持直接构造协议漏洞的攻击过程；所研制的协议的自动分析系统综合性能优于国际同类系统，发现并验证了国际上2个协议的新漏洞。取得了重要应用效益，为协议安全性分析和验证奠定了基础 。

网络安全协同管理技术与系统研究方面

为统一管理多种异构安全系统，解决网络安全盲区、冗余和协同防御问题，怀进鹏等提出了基于自动机的多主体协同检测模型、正交知识库、触发多主体协同活动的规则库及其高效算法；研制了基于扫描信息总线的网络安全集约管理工具及网络安全协同管理系统，实现了入侵预警、入侵检测、内容监控、漏洞扫描和安全审计等协同管理 。

怀进鹏" alt="

怀进鹏" src="https://bkimg.cdn.bcebos.com/pic/64380cd7912397dd019c11605682b2b7d1a287e9?x-bce-process=image/format,f_auto/resize,m_lfit,limit_1,h_336"/>

怀进鹏

学术论著

截至2016年10月，怀进鹏在国际会议、期刊和中国国内主要学术期刊上发表学术论文100余篇 。

学术交流

根据2019年12月何梁何利基金会网站显示，怀进鹏发起并建立了国际万维网联盟（W3C）中国分部，推动了中国中间件“四方国件”技术联盟，并与国际中间件联盟ObjectWeb联合建立了国际开放源代码组织OW2，任副理事长。他担任了第26届IEEE、SRDS、第17届WWW会议主席和ICWS2008程序委员会主席，二十余次担任重要国际学术会议程序委员会委员，二十余次在国内外学术会议上做大会特邀报告 。

承担项目

截至2016年10月，怀进鹏先后主持多项国家973计划、863计划、自然科学基金、国防基金、攻关计划、国际合作项目、信息产业部电子发展基金、国防重大研究计划和国防预研计划项目，并主持了国防科工委、工商行和北京市等多项大型信息系统研制 。

科研成果奖励

截至2016年10月，怀进鹏以第一完成人获得国家技术发明二等奖1项，国家科技进步奖二等奖2项，部级一等奖5项；获得国家发明专利19项 。

人才培养

讲座报告

2003年2月，怀进鹏受邀在中南海举办的第19次中南海科技知识讲座上为中央领导作题为《网络计算机技术与应用》的报告 。

2016年10月16日，怀进鹏在北京航空航天大学经济管理学院做题为《创新：永无止境的追求--关于信息产业与制造业强国的机遇与挑战》的报告 。

教育改革

怀进鹏在担任北京航空航天大学校长期间，他认为：科教结合有利于办学机制改革，培养拔尖创新人才，于是研究制订并正式启动了“长城行动计划”，通过进一步加强与中国科学院相关院所的实质性合作，探索实施更加符合人才成长规律和适应个性化要求的教育教学模式改革。