Andrew Burnett, Tom Dowling. A Framework for the Development and Testing of Cryptographic Software. In Tarek M. Sobh, editor, Advances in Computer and Information Sciences and Engineering, Proceedings of the 2007 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Syste. pages 45-50, Springer, 2007. [doi]
Abstract is missing.