Prev: Strategies with SPARK which does not support exceptions
Next: Question about SPARK flow error.
From: adacrypt on 18 Jun 2010 05:57

The cryptographical strength of a cipher is the last ditch strength of
the cipher and this is provided by the mathematical algorithm that
underpins the core. It is to be taken that this fundamental to all
else.

The management of the network infrastructure however comes soon after
this in importance in my view and it is thought that Ada has a lot to
offer here. It is well known the bug free stability that Ada gives to
the enormously important safety critical operations in aviation and
air traffic control. On top of that in cryptography, ada is perceived
to be very portable in that the component packages that comprise the
bulk of a secure communications loop are well within the scope of non-
specialist operatives who may work in batch mode off line creating
libraries etc using the Ada programming language with minimal
knowledge of Ada per se.

It is very early days for both the vector cryptography that I have
invented and the use of Ada in the crypto industry so it may take some
time before any heads are turned to look at both of these. - adacrypt
 | 
Pages: 1
Prev: Strategies with SPARK which does not support exceptions
Next: Question about SPARK flow error.