Re: Anyone looked at security features of D programming language compared to Spark?

["Gary McGraw" <gem () cigital com>]

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.
----------------------------------------------------------------------------