Michele Bugliesi Riccardo Focardi Matteo Maffei Dynamic types for authentication. 563-617 2007 15 Journal of Computer Security 6 http://iospress.metapress.com/content/870x423j7164l10g/ db/journals/jcs/jcs15.html#BugliesiFM07