A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Correctness by construction: developing a commercial secure system
2002
IEEE Software
8 I E E E S O F T W A R E J a n u a r y / F e b r u a r y 2 0 0 2 0 7 4 0 -7 4 5 9 / 0 2 / $ 1 7 . 0 0 © 2 0 0 2 I E E E Praxis Critical Systems recently developed a secure Certification Authority for smart cards. The CA had to satisfy demanding performance and usability requirements while meeting stringent security constraints. The authors show how you can use techniques such as formal specification and static analysis in a realistic commercial development.
doi:10.1109/52.976937
fatcat:32cwrfcn2nf5rml3jzo5ocdu7q