12月11至16日，邹德清博士赴韩国济州岛、首尔参加了ACSA 2009国际会议 (The 2009 FTRG International Workshop on Advances in Cryptography, Security and Applications for Future Computing)和ASIAN 2009国际会议（ The 13th Annual Asian Computing Science Conference）。

　　在ACSA 2009上，邹德清宣读了论文“A Guest Transparent File Integrity Monitoring Method in Virtualization Environment”。该论文通过引入虚拟机监控机制VMI和语义恢复机制实现了对虚拟机内重要文件的完整性监控。在ASIAN 2009上，邹德清宣读了论文“Trusted Deployment of Virtual Execution Environment in Grid Systems”。该论文通过引入虚拟机技术和可信计算技术为网格任务执行构造了可信执行环境。两篇论文的工作都是在实验室牵头的“计算系统虚拟化基础理论与方法研究”973计划项目支持下开展的，其中论文“A Guest Transparent File Integrity Monitoring Method in Virtualization Environment ”已被ACSA 2009会议指定专刊“COMPUTERS & MATHEMATICS WITH APPLICATIONS”录用。

　　 ACSA 2009和ASIAN 2009都是亚洲地区很受欢迎的国际会议，为学者们探讨计算机科学技术领域前沿进展提供了交流平台。ACSA 2009国际会议录用论文29篇，录用论文将在国际杂志“COMPUTERS & MATHEMATICS WITH APPLICATIONS”上发表。ASIAN 2009国际会议录用了7篇regular论文和3篇poster论文，录用论文由Springer出版社出版。

　　ACSA 2009会议邀请了美国俄克拉何马大学的Mohammed Atiquzzaman 教授、美国亚利桑那州立大学的Stephen S. Yau教授做了主题演讲，他们的演讲题目分别为“Mobility Management for Networks in Motion”和“Information Assurance in Ubiquitous Computing”，两位专家都是围绕着当前普适计算中的热门主题，例如移动管理、信息确保等进行了分析讲解。ASIAN 2009会议邀请了日本东北大学的Naoki Kobayashi博士做了题为“Types and Recursion Schemes for Higher-Order Program Verification”以及“Higher-Order Program Verification and Language-Based Security”的主题演讲，此外还邀请了法国CNRS的Jean Goubault-Larrecq博士做了题为“Logic Wins!”的主题演讲，他们都针对逻辑语言的形式化工作及其验证做了介绍和分析。