Specifying Secure Transport Channels. - Christopher Dilloway; Gavin Lowe (CSF, 2008)