Software reliability engineering represents a well-established set of techniques supporting specification and assessment of dependability aspects of software-based systems. Application of these techniques to security concerns could provide helpful assistance for software assurance efforts.
* The rest of this article has not yet been converted to HTML. It will be added to this site shortly. Please be patient. *