Ensuring system security through formal software evaluation
Jo Ann Howell, C. Fuyat, M Elvy · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 1992
With the increasing use of computer systems and networks to process safeguards information in nuclear facilities, the issue of system and data integrity is receiving worldwide attention. Among the many considerations are validation that the software performs as intended and that the information is adequately protected. Such validations are often requested of the Safeguards Systems Group of the Los Alamos National Laboratory. This paper describes our methodology for performing these software evaluations.