操作系统的设计与分析是计算机技术的核心技术之一,操作系统的安全可控性是事关国家安全的战略问题。当前计算机和各种电子设备已经深入应用到了国民经济的各行各业,同时也与社会大众的日常工作、学习、生活密切相关,这些设备中几乎都运行着各种不同类型和不同版本的开源操作系统,安全问题更是日益凸显。靠前届开源操作系统设计与分析学术会议(The First Open Source Operating System Design and Analysis Conference,OSDA 2013)抢先发售凝聚靠前研究力量面向国家战略需求研讨学术问题,本会议论文集收录了OSDA 2013的25篇论文,内容涵盖了当前被广泛应用的Linux和Android两种开源操作系统,涉及开源操作系统的分析、安全、优化和增强等问题,对于推动开源操作系统技术的研究与学术交流具有重要的意义,本论文集反映了我国在上述领域的研究现状和近期新进展。