Re: "Perfect" or "Provable" security both crypto and non-crypto?

From: Douglas A. Gwyn (DAGwyn_at_null.net)
Date: 09/14/04 

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?