A. Hall and R. Chapman. Correctness by construction: Developing a commercial secure system. IEEE Software, 19(2), 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
DPS: An Architectural Style for Development of Secure.. - Fenkam, Gall, Jazayeri.. (2002) (Correct)
....attack its security engine: thanks to the Internet revolution. This frightening reality has (or should have) consequences on the way we build software. It is increasingly argued that software must be designed for security right from the beginning instead of security being added as an afterthought [3, 7, 9, 17, 18, 22]. Numerous examples are cited in the literature where applications failed to be upgraded from non secure applications to secure applications. If designing for security seems to be an acceptable and reasonable recommendation, the challenge, however, resides in how to achieve this goal. This is ....
Anthony Hall and Roderick Chapman. Correctness by construction: Developing a commercial secure system. IEEE Software, pages 18--25, February 2002.
A Practical Perspective on the Verifying Compiler Proposal - Ireland (Correct)
No context found.
A. Hall and R. Chapman. Correctness by construction: Developing a commercial secure system. IEEE Software, 19(2), 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC