Being safe on the internet (was Re: Here we go again - ISP DPI, but is it interception?)

[Tom Thomson]

> On 7 Aug 2010, at 10:47, Ian Batten <igb at batten.eu.org> wrote:
> 
> > So, if I'm three weeks from starting a PhD in which the production of a large slab of
> secure code (let us gloss over whether that's formally secure or pragmatically secure),
> what toolchain should I use?  I'm guessing my favoured "first to reach for" tools at my
> advanced age of C and Perl aren't cool, C++ horrifies me aesthetically, Java is dull.
> >
> > I think it's time for a Lisp revival.
> 
> The implementation language would not be high up my list of issues at this stage but
> if you pushed me to make a choice and security was critical, Ada or SPARK.
> 
>       Brian Gladman
> >
> > ian
> >
How about one of the ML dialects?  Or Haskell?

Of course you can write secure stuff I any language - it's just that it's extremely difficult in things like C++ and others of that ilk (and you have to avoid use of some of its features)

M.