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 Abstract: 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.