Software Security: Theory to Practice

[0438714]我们建议组织一个关于软件安全：理论与实践的暑期学校。学校的目的是为研究生、学术界和工业界人士做好准备，以进行这一主题的研究，这是非常重要的，因为我们越来越多的经济、国防、政府和社会生活都是在线的。课程将包括所有与会者的基本基础材料；为那些对新的研究方向感兴趣的人提供高级材料；以及应用程序的展示。更详细地说，我们将介绍三种类型的材料：1。安全原理和基础理论这将提供一个基本概念和方法的介绍。软件安全的高级技术本材料将包括基于语言的安全领域的最新成果。理论，在实践这将演示如何理论结果可以被从业人员用于处理安全问题。

Abstract0438714Zena M. AriolaUniversity of Oregon We propose to organize a summer school on Software Security: Theory and Practice. The aim of theschool is to prepare graduate students, academic and industrial people to conduct research on this topic,which is very important since more and more of our economy, defense, government and social life is online.The curriculum will include basic foundational material for all attendees; advanced material for thoseinterested in new research directions; and presentation of applications . In more detail, we will present threetypes of material:1. Security Principles and Foundational Theory This will provide an introduction to the essentialconcepts and methodologies.2. Advanced Techniques for Software Security This material will consists of more recent results inthe area of language-based security.3. Theory, in Practice This will demonstrate how theoretical results can be used by practitioners indealing with security problems.