Firewalls: Re: Formal methods (formerly 'Source Code')

Firewalls
(May 1995)

Indexed By Thread: [Previous] [Next]

Subject:	Re: Formal methods (formerly 'Source Code')
From:	Steve Blass <swb @ aurora . phys . utk . edu>
Date:	Tue, 9 May 1995 12:42:00 -0700 (PDT)
To:	Andrew Molitor <amolitor @ anubis . network . com>
Cc:	firewalls @ greatcircle . com
In-reply-to:	<9505091516 . AA12315 @ anubis . network . com>

There's a big difference between proof and truth which stems from the 
assumptions taken as axiomatically true a priori.  Regarding firewalls it 
implies that no matter how well the if-then chain of logic proves things 
are safe the truth is that software has bugs.

References:

Formal methods (formerly 'Source Code')
From: amolitor @ anubis . network . com (Andrew Molitor)

Indexed By Date	Previous:	SNMP list consolidated From: Alan Hannan <alan @ mid . net>
Indexed By Date	Next:	Re: Source Code From: FV Admin mail <fvadmin @ sgf . fv . com>
Indexed By Thread	Previous:	Formal methods (formerly 'Source Code') From: amolitor @ anubis . network . com (Andrew Molitor)
Indexed By Thread	Next:	Re: Formal methods (formerly 'Source Code') From: patrick @ oes . amdahl . com (Patrick Horgan)