Title: Process Algebras and Security

Abstract: 
Process Algebras have been introduced for modeling concurrent systems. In
this talk we present one of the most representative ones: the Calculus of
Communicating Systems (CCS), by R. Milner. This gives the opportunity to
introduce the basic concepts and definitions of the process algebraic
theory. We then show how this theory can be profitably exploited in the
definition and analysis of security properties. Indeed, security becomes
more critical when programs are executed in concurrent environments where
"non-deterministic" executions are possible. We finally analyze the problem
of automatic verification of security properties.