Re: [Cryptix-users] Formal Proof

[<TO...@te...>]

I don't know waht is the formal proof, but you can probe with 
Bouncy&Castle PGP library.

I finally make my project whit this library (BC) and work fine.


Sorry my english.



----Mensaje original----
De: to...@kn...
Recibido: 23/01/2009 11:08
Para: <cry...@li...>
Asunto: Re: [Cryptix-users] Formal Proof

Hi,

there is no formal proof. Actually, if you require one, you should
prepare to spend a lot of $$$. An open source project will get you
nowhere with requirements like this.

Tobias

silviu andrica wrote:
> Hello everybody!
>   I am new to Cryptix and I plan on using it in a project. But, I 
can
> only use it if Cryptix has a formal proof of its correctness with
> respect to its Java source code. Also, if this is not the case, can
> someone, please, point me to
> a library/class that has such a formal proof?
> 
> Best regards,
>   Silviu


------------------------------------------------------------------------------
This SF.net email is sponsored by:
SourcForge Community
SourceForge wants to tell your story.
http://p.sf.net/sfu/sf-spreadtheword
_______________________________________________
Cryptix-Users mailing list
Cry...@li...
https://lists.sourceforge.net/lists/listinfo/cryptix-users





Ahora también puedes acceder a tu correo Terra desde el móvil.
Infórmate pinchando aquí.