事件

2006年12月6日至8日

东京国家科学中心
会议由国家信息学研究所、法国驻日本大使馆、INRIA和庆应义塾大学赞助。

动机

计算系统，特别是软件的安全问题变得严重而普遍。我们面临着越来越多的远程计算机和恶意软件的攻击，例如计算机病毒、僵尸、蠕虫等。无论硬件和软件有何进步，此类攻击的数量和后果仍然严重。此外，计算系统的普遍存在相当于它们在可靠和关键任务系统中的使用，这些系统的故障可能会对我们的日常生活造成严重损害。大多数安全事件都可以追溯到软件缺陷，因此安全软件正成为现代计算的基本要求。然而，安全软件的开发是一项非常困难的任务，应该基于理论方法和形式化方法，如逻辑、类型理论和证明理论，以提高安全关键系统的设计和实现的可信度。自动化工具和技术对于软件和系统的分析和验证至关重要。我们还需要有效且高效地结合严格技术的流程，以生产安全软件，并需要有动机、有纪律且精通执行的从业人员。计算系统的安全性通常依赖于底层系统级软件，例如操作系统、网络协议栈和中间件。因此，这些系统中的安全机制发挥着重要作用。

受邀演讲人

• Patrick Cousot（法国巴黎高等师范学院）
• 李功（Windows Live中国、微软、中国）
• 约翰·米切尔（美国斯坦福大学）

以及其他有待宣布的内容。还将安排一次特别会议，纪念法国INRIA的Gilles Kahn（他在过去十（10）次亚洲CS会议上都采取了重要举措）。

重要日期

• 摘要提交截止日期：2006年8月24日（已过期）
• 论文提交截止日期：2006年9月5日（已过期）
• 验收通知：2006年10月12日（已完成）
• 相机准备就绪的预处理截止日期2006年11月15日
• 后期处理的摄像准备截止日期2006年12月底

需要纸张

范围
本次会议的主题是安全软件。该会议旨在发现并推广在安全软件分析、设计、开发和操作中应用理论和实践技术的新方法。邀请就与此主题相关的理论、实践、应用和经验的各个方面发表论文。此外，特别欢迎针对安全软件开发和操作的经验教训和教育的论文。
感兴趣的主题包括但不限于：

• 安全软件的理论方法
• 正式规范和验证
• 编程语言语义
• 静态分析
• 安全编程的类型系统和类型理论
• 安全软件的自动演绎与推理
• 安全性模型检查
• 软件安全的测试和方面
• 可靠且自主的体系结构和设计
• 安全的操作系统和中间件
• 安全协议和网络
• 安全系统的人工智能
• 安全软件工程
• 安全软件开发教育
• 特定于安全的软件开发实践

提交和诉讼
论文集将由Springer-Verlag在计算机科学系列讲稿中发表。请按照以下说明使用系列风格准备您的手稿：http://www.springer.de/comp/lncs/authors.html。诉讼文件将限于15页。提交论文意味着，如果论文被接受，至少有一位作者将在最终论文截止日期前注册，并在会议上提交论文。接受的论文将在准备和提交最终手稿以及接受通知时提供指导。

提交程序

提交页面已关闭
提交应通过亚洲'06提交页面完成，由EasyChair会议系统处理。作者被要求在8月24日前提交摘要（100-300字），在8月31日前提交论文（普通论文最多15页，短论文最多7页，PDF格式）。
要提交，请访问http://www.easychair.org/ASIAN06/并注册为新会员。密码将很快通过电子邮件发送。使用该密码，登录并进入新提交页面，在那里可以找到详细说明。提交摘要时，请勾选页面末尾的“仅摘要”框。
7页以内的任何论文都将被自动判断为短论文提交。如果作者希望在电脑上明确说明，你也可以在标题的末尾加上“（短文）”。
提交后，作者可以使用EasyChair系统更新摘要和论文以及作者信息，直到截止日期。
被接受的论文将发表在Springer计算机科学系列讲座笔记的一卷中，因为过去亚洲会议的所有10个前会议记录都在该系列中发表。在收到接受通知后，被接受论文的作者还将收到关于提交在审前和审后提交的手稿的进一步信息。为了在正式会议上发表论文，至少有一位共同作者需要预先登记参加会议并在会议上提交论文。

高级程序

2006年12月6日

程序详细信息

2006年12月7日

程序详细信息

2006年12月8日

程序详细信息

卫星讲习班

以下相关研讨会定于12月4日和5日亚洲06安全软件会议之前举行。车间向公众免费开放。

• 第二届法日计算机安全研讨会

登记处

• 在线注册已关闭。
• 现场注册台打开如下：，
  • 12月5日16:30--17:00（底层）
  • 12月6日09:30--12:00（底层），12:00--16:00（12F）
  • 12月7日09:30--12:00（底层），12:00--16:00（12F）
  • 12月8日09:30--12:30（12F）
• 现场注册可能会售罄。

详细信息

组织

大会主席

• Aki Yonezawa（日本东京大学）
• Philippe Codognet（法国驻日本大使馆）

项目主席

• 冈田光夫（日本庆应义塾大学）
• 佐藤一郎（日本国家信息学研究所）

项目委员会

• Iliano Cervesato（卡耐基梅隆大学，卡塔尔）
• Shigeru Chiba（日本东京理工学院）
• Patrick Cousot（法国巴黎高等师范学院）
• Anupam Datta（美国斯坦福大学）
• 傅玉玺（中国上海交通大学）
• Sumanta Guha（泰国AIT）
• Masami Hagiya（东京大学）
• Joxan Jaffar（新加坡国立大学，新加坡）
• Kanchana Kanchanasut（泰国AIT）
• 河野贤治（日本庆应义塾大学）
• Ching Laung Lei（台湾国立大学，台湾）
• Xavier Leroy（法国INRIA）
• 李宁辉（美国普渡大学）
• 约翰·米切尔（美国斯坦福大学）
• Atsushi Ohori（日本东北大学）
• 安德烈亚斯·波德尔斯基（德国弗莱堡大学）
• Michael Rusinovitch（INRIA-Lorraine/南希大学/CNRS，法国）
• Etsuya Shibayama（日本东京理工学院）
• L.Yohanes Stefanus（印度尼西亚大学）
• Kazushige Terui（日本国家信息学研究所）
• Kazunori Ueda（日本早稻田大学）

以及其他，待宣布。

地方组织委员会

• Shin Nakajima（日本国立信息学研究所）
• Kensuke Fukuda（日本国家信息学研究所）
• Soichiro Hidaka（日本国家信息学研究所）
• Hiroshi Hosobe（日本国家信息学研究所）
• Hiroyuki Kato（日本国家信息学研究所）
• Michihiro Koibuchi（日本国家信息学研究所）

此次会议由日本国家信息学研究所、法国驻日本大使馆和INRIA赞助。

会议地点

• 国家科学中心几乎位于东京市中心。它拥有多个日本政府学术组织，如国家信息学研究所。你可以在大约10分钟内从东京站乘出租车到中心。它在日语中被称为Gakujutsu Sogo Senta，与一座著名的建筑Josui Kaikan相邻。
• 中心附近有两个地铁站。一个是Jimbocho车站（S06/I10/Z07），其A8出口位于Shogakukan，Inc.旁边，距离中心最近。另一个是竹桥站（T08），它的1b出口位于Mainichi Newspapers旁边，是最近的。另请参阅地铁公司东京地铁和东京交通公司提供的信息。它们还提供了使用地铁的说明。
• 如果你想从成田机场去中心，一个简单的方法是使用成田特快到达东京站，然后乘出租车去中心，总共大约需要4000日元。一种既便宜又有点复杂的方式是使用惠世有限快车到达惠世-雅瓦塔站，然后从Motoyawata站乘东新宿线到金宝町站，总共要花1150日元。在这两种情况下，您至少需要一个半小时。
• 地址：日本东京千代田区一桥2-1-2号国家科学中心，邮编：101-8430[访问]

关于亚洲会议

1995年，AIT、INRIA和UNU/IIST发起了一系列年度亚洲计算科学会议（Asian），为亚洲地区的计算机科学研究人员提供论坛，并促进与其他地区的研究人员的互动。亚洲会议于2005年在中国昆明、2004年在泰国曼谷、2003年在印度孟买、2002年在越南河内、2000年在马来西亚槟榔屿、1999年在泰国普吉、1998年在菲律宾马尼拉、1997年在加德满都、1996年在新加坡、1995年在泰国巴吞他尼举行。除了东道国的支持外，它们还得到了国际放射学会、法国、联合国大学/研究所、澳门和新加坡国立大学的赞助。亚洲会议记录，例如2005年、2004年、2003年、2002年和2000年，分别由Springer-Verlag以计算机科学讲义的形式出版，例如第3818卷、第3321卷、第2896卷、第2550卷和第1961卷。