1、可证明安全性会议及相关技术研究概述

可证明安全性会议及相关技术研究概述

1. 会议概况

2009 年 11 月 11 - 13 日，第三届可证明安全性国际会议（ProvSec 2009）在中国广州举行。该会议延续了 2007 年在澳大利亚卧龙岗举办的 ProvSec 2007 会议开创的可证明安全性主题，第二届会议于中国上海举办。此次会议由澳大利亚麦考瑞大学的高级计算 - 密码学与算法中心（ACAC）、中国中山大学的广东省信息安全技术重点实验室以及中国国家自然科学基金（NSFC）赞助。会议总主席是来自中山大学的季武黄，程序联合主席是来自澳大利亚麦考瑞大学的 Josef Pieprzyk 和中山大学的 Fangguo Zhang。

会议程序委员会邀请了两位杰出研究人员进行主题演讲：
- Alex Dent（伦敦大学皇家霍洛威学院）：演讲主题为“保密性安全模型简史”。
- Bogdan Warinschi（英国布里斯托大学）：演讲主题为“可证明安全性的符号方法”。

会议共收到 64 篇论文，每篇论文分配给三位评审人，程序委员会成员提交的论文分配给五位评审人。评审过程分为两个阶段：第一阶段由程序委员会成员阅读和评估提交的论文；第二阶段进行广泛讨论以仔细审查论文。最终，程序委员会选择了 19 篇论文纳入会议议程。被接受论文的作者有三周时间进行修订和准备最终版本，修订后的论文无需编辑审查，作者对其内容负全部责任。论文提交和评审过程由 Springer 在线会议服务支持。

2. 会议组织架构

2.1 程序委员会成员

姓名	所属机构