Cart (Loading....) | Create Account
Close category search window
 

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

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.