Conference
WHY WE WOULD NEVER TRUST THE SDI SOFTWARE.
Abstract
Many computer specialists believe that the software essential to SDI could never be trusted and hence President Reagan's laudable goal, eliminating the fear of nuclear weapons, cannot be achieved. If SDI is untrustworthy, it will not allow us to abandon deterrence. It is argued that we will never trust the SDI software because its correctness cannot be verified by actual use.
Authors
Parnas DL
Pagination
pp. 91-92
Publication Date
January 1, 1986
Conference proceedings
Proceedings IEEE Computer Society International Conference