Foundation of Security and Concurrency: Fellowships & Support

点击翻译按钮获取中文摘要

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.