|
Everyday life depends upon the security and reliablilty of computers and system software.
As more and more of our economy, defense, government and social life moves online, software
security will only become more important. The main aim of the school was to offer a spectrum
of current research in security of software systems ranging from foundational materials on
security principles, logic and type systems to advanced techniques for ensuring mobile code
security using program analyses, proof-carrying code and program monitoring tools. In
additon, we examined how these technologies can be applied in practical systems.
Much of the material was relevant to already existing mobile-code technology, including
Microsoft's .NET framework and the Java platform.
At all times, material was presented at a tutorial level that will help graduate students and
researchers from academia or industry understand the critical issues and open problems confronting
the field. The course was open to anyone interested. Prerequisites were an elementary knowledge
of logic and mathematics that is usually covered in undergraduate classes on discrete mathematics
and some knowledge of programming languages at the level provided by an undergraduate survey course.
Our primary target group was PhD students. We also experienced attendance by faculty members who
wanted to conduct research on this topic or introduce new courses at their universites.
|
|