I will most likely teach Information Security and Trust 2012/13 with Aad van Moorsel.It's on the design and verification of information security systems and will include rigorous techniques for modelling and reasoning about trust, security policies and communication protocols.
Have a look at the 2011 Information Secutity and Trust lecture (CSC8202).
More information to follow soon...