Spontaneous Security

Device Authentication Models / Protocols

Synthesis and composition of security protocols

GSN Based Security Cases

Analytical techniques for assessing security protocols

Wireless comms threat models

Case study: Bluetooth security