Yes, see my book "software fault injection" for some of the key differences. The main one is obvious...a rational, malicious adversary bent on making you lose.
gem -----Original Message----- From: ljknews [mailto:[EMAIL PROTECTED] Sent: Thu Apr 22 19:31:52 2004 To: [EMAIL PROTECTED] Subject: Re: [SC-L] Anyone looked at security features of D programming language compared to Spark? At 11:56 AM -0700 4/22/04, Jim & Mary Ronback wrote: >Safety critical sofware has a lot of overlap with the requirements for high security >software. Can anyone think of any _differences_ between those domain (process and code-wise, not regulatory-wise). >For Spark see http://www.praxis-cs.co.uk/sparkada/ > >They also have an interesting list of security/ integrity related cases where Spark >has been used, e.g., the security modules for the SmartCard (system using a credit >card with an embedded chip) > >http://www.praxis-cs.co.uk/sparkada/publications.asp ---------------------------------------------------------------------------- This electronic message transmission contains information that may be confidential or privileged. The information contained herein is intended solely for the recipient and use by any other party is not authorized. If you are not the intended recipient (or otherwise authorized to receive this message by the intended recipient), any disclosure, copying, distribution or use of the contents of the information is prohibited. If you have received this electronic message transmission in error, please contact the sender by reply email and delete all copies of this message. Cigital, Inc. accepts no responsibility for any loss or damage resulting directly or indirectly from the use of this email or its contents. Thank You. ----------------------------------------------------------------------------
