This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Correctness by Construction: Developing a Commercial Secure System
January/February 2002 (vol. 19 no. 1)
pp. 18-25

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.

Citation:
Anthony Hall, Roderick Chapman, "Correctness by Construction: Developing a Commercial Secure System," IEEE Software, vol. 19, no. 1, pp. 18-25, Jan.-Feb. 2002, doi:10.1109/52.976937
Usage of this product signifies your acceptance of the Terms of Use.