Series: Penn State Logic Seminar

Date: Tuesday, November 20, 2001

Time: 2:30 - 3:45 PM

Place: 306 Boucke Building

Speaker: Catuscia Palamidessi (Penn State, Computer Science)

Title: Applications of Process Theory to Security


The design and analysis of security protocols is a very delicate and
error-prone issue.  Attempts to develop frameworks and tools to reason
about their properties go back over 20 years, but the field remains
highly active in the security research community.  In this talk, we
present an approach to the formal specification of security protocols
and security properties, and to their verification, based on applying
concepts and formal tools developed in the field of Concurrency
Theory.  We will consider, in particular, the use of linguistic
concepts present in paradigms like the CSP and the pi-calculus, and
the role of semantics like traces and bisimulation.