Kitchen, Nicholas. The United States After Unipolarity: Executive Summary In
IDEAS reports. London: London School of Economics and Political Science, 2011.
On the use of Sigint by DISS In
Annual Report . Committee on the Intelligence and Security Services, 2011.
Blanchet, Bruno. "
Using Horn Clauses for Analyzing Security Protocols." In
Formal Models and Techniques for Analyzing Security Protocols, 86-111. Amsterdam: IOS Press, 2011.