Re: Firewall

Article View: pl.comp.security

Article #110

#110

From: Jarek Lis
Date: Tue, 26 Nov 1996 17:52

10 lines
1050 bytes

Jerzy Michal Pawlak <jmp@cocos.fuw.edu.pl> wrote:
: I, uprzedzajac okrzyki wzburzenia 'artystow programowania' - tak, znam
: konkretne przypadki gdzie formalne metody dowodzenia poprawnosci programow
: byly uzyte w tworzeniu komercyjnego oprogramowania. Nie wiem konkretnie ile 
: mialy linii kodu, ale na pewno nie byly to programy trywialne.


I co, ile znaleziono bledow w dowodzie?

Jarek.

Technical Details

Message-ID: <57faos$ki@okapi.ict.pwr.wroc.pl>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!pingwin.icm.edu.pl!news.icm.edu.pl!ict.pwr.wroc.pl!not-for-mail

References: <Pine.LNX.3.95.961125164856.1098A-100000@Qhara.qhara.waw.pl> <57e8h7$7db@h1.uw.edu.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!pingwin.icm.edu.pl!news.icm.edu.pl!ict.pwr.wroc.pl!not-for-mail
From: Jarek Lis <lis@ict.pwr.wroc.pl>
Newsgroups: pl.comp.security
Subject: Re: Firewall
Date: 26 Nov 1996 17:52:28 GMT
Organization: Technical University of Wroclaw, Poland
Lines: 10
Distribution: world
Message-ID: <57faos$ki@okapi.ict.pwr.wroc.pl>
References: <Pine.LNX.3.95.961125164856.1098A-100000@Qhara.qhara.waw.pl> <57e8h7$7db@h1.uw.edu.pl>
NNTP-Posting-Host: okapi.ict.pwr.wroc.pl
X-Newsreader: TIN [UNIX 1.3 unoff BETA release 961015]
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit

Reply to Parent Message