Security analysis of network protocols compositional reasoning and complexity-theoretic foundations (2005)

by A Datta