The Community for Technology Leaders
Green Image
<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>
Roderick Chapman, Anthony Hall, "Correctness by Construction: Developing a Commercial Secure System", IEEE Software, vol. 19, no. , pp. 18-25, January/February 2002, doi:10.1109/52.976937
94 ms
(Ver 3.1 (10032016))