Re: [SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-26 Thread Blue Boar
Crispin Cowan wrote: Dynamic type checking (or any kind of run-time fail-stop checking) enhances security (attacks are halted) but degrades reliability (processes that might live with a harmlessly inconsistent state may be halted). Degrades reliability of a "correct" program? Or only degrades

Re: [SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-26 Thread Crispin Cowan
Blue Boar wrote: Crispin Cowan wrote: Dynamic type checking (or any kind of run-time fail-stop checking) enhances security (attacks are halted) but degrades reliability (processes that might live with a harmlessly inconsistent state may be halted). Degrades reliability of a "correct" program?

RE: [SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-26 Thread Michael Canty
i've been following this thread and have an observation i'd like to make that will probably get me strung up in the closest pine tree. using a language as an excuse for poor security is simply saying that we have failed to properly train the programmers who are building the software. i'm a dinosau

Re: [SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-26 Thread Crispin Cowan
Jim & Mary Ronback wrote: I am hard put to find an example of a language feature which makes a system more secure but less safe or vice versa, in any context. Can anyone else think of one? Dynamic type checking (or any kind of run-time fail-stop checking) enhances security (attacks are halted)

RE: [SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-23 Thread ljknews
At 7:31 AM -0700 4/23/04, Jeremy Epstein wrote: >Jim & Mary Ronback opined: >> I am hard put to find an example of a language feature which makes a >> system more secure but less safe or vice versa, in any context. Can >> anyone else think of one? > >Not 100%, but consider automatic garbage colle

RE: [SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-23 Thread Jeremy Epstein
Jim & Mary Ronback opined: > I am hard put to find an example of a language feature which makes a > system more secure but less safe or vice versa, in any context. Can > anyone else think of one? Not 100%, but consider automatic garbage collection. Tends to make a system more secure, because it

Re: [SC-L] Anyone looked at security features of D programming language?

2004-04-23 Thread Crispin Cowan
Greenarrow 1 wrote: There is a comparison chart of different functions of D vs other languages at this site: http://www.digitalmars.com/d/comparison.html This "comparison" appears to be an advocacy piece by the D developers, and thus may be biased. The comparison leaves out three conspicuous f

RE: [SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-23 Thread Peter Amey
> -Original Message- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] > Behalf Of Jim & Mary Ronback > Sent: 22 April 2004 19:57 > To: Greenarrow 1 > Cc: Kenneth R. van Wyk; [EMAIL PROTECTED]; James Walden; > Rod Chapman > Subject: [SC-L] Anyone l

Re: [SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-23 Thread der Mouse
>> 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). Process-wise, probably not. In each case, you need to start by figuring out what your t

Re: [SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-23 Thread Jim & Mary Ronback
L 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 req

Re: [SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-22 Thread James Walden
ljknews wrote: 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). I think the primary differen

Re: [SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-22 Thread Kenneth R. van Wyk
ljknews wrote: 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). Well, I would normally think of

Re: [SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-22 Thread Gary McGraw
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

Re: [SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-22 Thread ljknews
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.u

[SC-L] Anyone looked at security features of D programming language compared to Spark?

2004-04-22 Thread Jim & Mary Ronback
alden" <[EMAIL PROTECTED]> To: "Kenneth R. van Wyk" <[EMAIL PROTECTED]>; <[EMAIL PROTECTED]> Sent: Wednesday, April 21, 2004 10:05 AM Subject: Re: [SC-L] Anyone looked at security features of D programming language? Kenneth R. van Wyk wrote: Has anyone h

Re: [SC-L] Anyone looked at security features of D programming language?

2004-04-22 Thread Greenarrow 1
ot;Kenneth R. van Wyk" <[EMAIL PROTECTED]>; <[EMAIL PROTECTED]> Sent: Wednesday, April 21, 2004 10:05 AM Subject: Re: [SC-L] Anyone looked at security features of D programming language? > Kenneth R. van Wyk wrote: > > Has anyone here looked into the security strengths/weaknes

Re: [SC-L] Anyone looked at security features of D programming language?

2004-04-21 Thread James Walden
Kenneth R. van Wyk wrote: Has anyone here looked into the security strengths/weaknesses of D? Care to discuss or summarize for the rest of us? Does it inherit the problems of C while trying to improve on C++ et al? I haven't examined D myself, but I would also be interested if anyone could rec

[SC-L] Anyone looked at security features of D programming language?

2004-04-19 Thread Kenneth R. van Wyk
Hi all, I just saw an interesting article about a programming language that's under development called "D". (See full article at http://www.osnews.com/story.php?news_id=6761) The description of the language is, "D is a (relatively) new addition to the C family of programming languages, inten