Re: "Perfect" or "Provable" security both crypto and non-crypto?
From: Douglas A. Gwyn (DAGwyn_at_null.net)
Date: Tue, 14 Sep 2004 01:31:49 -0400
David Wagner wrote:
> Heck, forget the issue of annotations. It doesn't even make sense
> to talk about program verification until you have a specification of
> desired behavior.
Why would you even write a program without having a
functional specification first?