Formal modelling and analysis of cryptographic modes of operation using the Alloy specification language and Alloy Analyzer.
Jan 1, 2012