yy协议源码论坛_安全攸关系统形式化方法应用实践丨CNCC技术论坛

随着软件应用渗透日常生活的各个领域，软件的高可靠与高安全更加受到关注。本论坛将展现形式化方法与可信计算的最新成果，包括系统软件的可信安全实践、行业领域软件的可信应用等。这些问题既具有普适性，也给传统可信技术提出了迭代更新要求，以适应新的软件范式。本论坛的受众对象包括高校、研究所、工业企业、软件企业等可信计算研究者以及对可信计算有强烈需求的企事业单位。

根据本领域和方向的趋势，选定一个鲜明、通俗易懂、简练的主题。论坛鼓励围绕热点和开放问题展开：

论坛主席：

蒲戈光，华东师范大学教授博导，CCF形式化专委副主任。研究方向为形式化方法、软件工程。承担了科技部重点研发、核高基等10余项目，近五年在软工与形式化方法顶会发表论文20余篇，曾获ACM杰出论文奖。获上海市科技进步特等奖、教育部自然科学一等奖等多项省部级奖项。

共同主席：