We are currently experiencing intermittent issues impacting performance. We apologize for the inconvenience.
By Topic

Producing secure digital information systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Good, D.I. ; Comput. Logic Inc., Austin, TX, USA

The security of a digital information system is determined by the process that produces the system. Thus, it is argued that the system production process is the central issue in achieving secure systems. A rigorous approach to digital system engineering is described which is based on a mathematical function that accurately and completely describes the physical behavior of the digital device in question. It is concluded that two critical steps needed to enable this rigorous approach to engineering secure digital systems are: to provide digital hardware whose behavior conforms to a mathematical function; and to provide a clear, precise statement of what that function is

Published in:

Aerospace Computer Security Applications Conference, 1988., Fourth

Date of Conference:

12-16 Dec 1988