The main focus of my research is analysing large security architectures using the strand spaces model. In particular, I am interested in a certain class of security architectures built from layered security protocols, with a high-level security layer running on top of one or more lower-level secure channels. We refer to such system as ‘Layered Security Architectures’.
