High-Confidence Design for Security (1999) [3 citations — 0 self]
by
Shiu-kai Chin
Communications of the ACM
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@ARTICLE{Chin99high-confidencedesign,
author = {Shiu-kai Chin},
title = {High-Confidence Design for Security},
journal = {Communications of the ACM},
year = {1999},
volume = {42},
pages = {33--37}
}
author = {Shiu-kai Chin},
title = {High-Confidence Design for Security},
journal = {Communications of the ACM},
year = {1999},
volume = {42},
pages = {33--37}
}
Bookmarks
OpenURL
Abstract:
This article describes methods that establish confidence that implementations meet their specifications and security requirements. These methods are rigorous in nature. They rely on mathematical logic and are accessible to engineering students at the masters level. As is typical in systems engineering, a variety of methods are used depending on what level of design is being addressed.
Citations
| 2091 | A method for obtaining digital signatures and public-key cryptosystems – Rivest, Shamir, et al. - 1997 |
| 1110 | K.L.Symbolic Model Checking – MCMILLAN - 1993 |
| 351 | Authentication in distributed systems: Theory and practice – LAMPSON, ABADI, et al. - 1992 |
| 200 | HOL: A Proof Generating System for Higher-Order Logic – Gordon - 1988 |
| 50 | SCR*: A toolset for specifying and analyzing software requirements – Heitmeyer, Kirby, et al. - 1998 |
| 17 | The formal design of 1M-gate ASICs – Eíriksson - 1998 |
| 6 | Handbook of Applied Cryptography – Menzies, Oorschot, et al. - 1997 |
| 6 | A Practical Methodology for the Formal Verification – Tahar, Kumar - 1998 |
| 2 | Verifying Privacy Enhanced Mail Functions with Higher Order Logic – Zhou, Chin - 1998 |
| 1 | Information Processing Systems --- Open Systems Interconnection --- The Directory Authentication Framework – ITU-T |
| 1 | Lalita Jategaonkar Jagadeesan. Systematic Software Testing using VeriSoft: An Analysis of the 4ESS Heart-Beat Monitor – Godefroid, Hanmer |
