A Framework for the Development and Testing of Cryptographic Software
2008 ◽
pp. 45-50