Foundation of Security and Concurrency: Fellowships & Support

该项目的目标是建立一个暑期学校，为研究生、教师和工业界人士进行安全基础研究做好准备。提出并讨论了三种类型的材料：BackgroundThis材料由80年代末和90年代初开发的成熟结果组成。 这提供了对基本概念和方法的介绍。高级主题本材料由最近的结果组成，扩展和推广了早期的工作。这为学生提供了对研究和开放性问题的见解。应用本材料演示了理论结果如何被从业者用于处理并发环境中的安全问题。这为学生提供了使用正式方法来推理和生成实际问题解决方案的技能，如协议或Java规范的验证。暑期班结束后，将通过暑期班网站提供演讲者介绍的材料。因此，学校可以对社区产生更广泛的影响。

AbstractAriola, ZenaOregon UniversityThe goal of the project is the development of a summer school to prepare graduate students, faculty and industrial people to conduct research on the foundations of security. Three types of material is presented and discussed: BackgroundThis material consists of well established results developed in the late 80's and early 90's. This provides an introduction to the essential concepts and methodologies. Advanced TopicsThis material consists of more recent results that extend and generalize the earlier work. This provides students with insights into research and open questions.ApplicationsThis material demonstrates how theoretical results can be used by practitioners in dealing with security problems in a concurrent setting.This provides students with skills in the use of formal methods to reason about and generate solutions to practical problems, such as verification of protocols or Java specifications.Following the summer school the material presented by the speakers will be made available through the summer school web site. Thus, the the school can have a broader impact on the community.