Mahdi Aiash, Glenford E. Mapp, Raphael C.-W. Phan, Aboubaker Lasebae, Jonathan Loo: A Formally Verified Device Authentication Protocol Using Casper/FDR. TrustCom 2012: 1293-1298