The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January/February (2002 vol.19)
pp: 18-25
ABSTRACT
<p>Praxis Critical Systems recently developed a secure certification authority for smart cards that had to satisfy performance and usability requirements while meeting stringent security constraints. The authors used a systematic process from requirements elicitation through formal specification, user interface prototyping, rigorous design, and coding to ensure these objectives' achievement. They show how a process that achieves normal commercial productivity can deliver a highly reliable system that meets all its throughput and us-ability goals.</p>
CITATION
Anthony Hall, Roderick Chapman, "Correctness by Construction: Developing a Commercial Secure System", IEEE Software, vol.19, no. 1, pp. 18-25, January/February 2002, doi:10.1109/52.976937
187 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool