Security: From Basic Concepts and Techniques to Formal Models and Methods
4-8 April 2006, Iasi, Romania
Description
Security has become more and more significant in information technology,
especially in those applications involving data sharing, communication
and transactions through the Internet. In addition, security policies
and standands are starting to be enforced by a growing number of
legislative mandates.
This course will introduce basic concepts used in security, such as
confidentiality, integrity and availability, and examine basic
techniques necessary to implement security, such as cryptography,
key management and security protocols.
Various formalisms based on interaction among processes are presented
as general frameworks for describing security protocols. They include
the process algebra CCS, the pi-calculus, and variants of the
pi-calculus. We take as a case study the Needham-Schroeder protocol;
we express it in Spi calculus and we prove its authentication and
secrecy. Participants may choose to be involved in a project where
they have to use formal models and methods in solving security
problems.
Lecturers
Dr. Antonio Cerone,
United Nations University, Macau SAR China.
Dr. Gabriel Ciobanu,
Romanian Academy, Iasi, Romania.