Thread View: pl.comp.security
3 messages
3 total messages
Started by Piotr Walesiak
Mon, 25 Nov 1996 16:17
Re: Firewall
Author: Piotr Walesiak
Date: Mon, 25 Nov 1996 16:17
Date: Mon, 25 Nov 1996 16:17
34 lines
2301 bytes
2301 bytes
On Mon, 25 Nov 1996, Jerzy Michal Pawlak wrote: > > In article <m3917qr150.fsf@hq.pm.waw.pl>, Krzysztof Halasa <khc@hq.pm.waw.pl> writes: > >mikee@galaxy.uci.agh.edu.pl (Adam Kubicki) writes: > > >> duze pakiety? moze i szybko poprawili ale dlaczego nikt o tym nie pomyslal > >> wczesniej? niektore systemy byly odporne na to > > > >Dlatego, ze bledy znajduje sie w dzialaniu, a nie udowadnia bezblednosc > >na drodze teoretycznej. > > Sa miejsca gdzie mozna sobie pozwolic na znajdowanie bledow w dzialaniu > i sa takie, gdzie oprogramowanie po prostu musi byc poprawne od samego > poczatku. Bezpieczenstwo komputerow jest dla niektorych instytucji wlasnie > takim miejscem. I mam nadzieje (tam gdzie jestem ich klientem badz jestem > narazony na skutki ich bledu) ze na tym nie oszczedzaja. Nie znam się dobrze na zagadnieniach bezpieczeństwa. Za to znam się trochę na inżynierii programowania i wiem, że nie ma sposobu ani siły, żeby stworzyć oprogramowanie o złożoności większej niż 1000 lini kodu od razu poprawne. Faktem jest natomiast, że w sytuacjach gdy oprogramowanie ma spełniać jakieś bardzo krytyczne funkcje, jest ono poddawane gruntownym testom regresyjnym (po wykryciu błędu jest on poprawiany i wszystkie testy zapuszczane są od początku i tak aż do momentu gdy produkt przejdzie wszystkie testy bezbłędnie). Błędy są bowiem rzeczą ludzką (a to ludzie tworzą oprogramowanie) i nikt nigdzie od nikogo nie wymaga pisania programów odrazu poprawnych. +-------------------------+ | Piotr Walesiak | e-mail with Subject 'Get PGP key' | piotrek@oeiizk.waw.pl | for PGP key. | pwalesia@ia.pw.edu.pl | +-------------------------+
Re: Firewall
Author: Jerzy Michal Pawlak
Date: Tue, 26 Nov 1996 08:08
Date: Tue, 26 Nov 1996 08:08
25 lines
2065 bytes
2065 bytes
In article <Pine.LNX.3.95.961125164856.1098A-100000@Qhara.qhara.waw.pl>, piotrek@jack.oeiizk.waw.pl (Piotr Walesiak) writes: >Nie znam się dobrze na zagadnieniach bezpieczeństwa. Za to znam się trochę >na inżynierii programowania i wiem, że nie ma sposobu ani siły, żeby >stworzyć oprogramowanie o złożoności większej niż 1000 lini kodu od razu >poprawne. Faktem jest natomiast, że w sytuacjach gdy oprogramowanie ma >spełniać jakieś bardzo krytyczne funkcje, jest ono poddawane gruntownym >testom regresyjnym (po wykryciu błędu jest on poprawiany i wszystkie testy >zapuszczane są od początku i tak aż do momentu gdy produkt przejdzie >wszystkie testy bezbłędnie). Błędy są bowiem rzeczą ludzką (a to ludzie >tworzą oprogramowanie) i nikt nigdzie od nikogo nie wymaga pisania >programów odrazu poprawnych. Masz w 99.99% racje... Ten pozostaly 0.01% to te przypadki, kiedy pisze sie program na tyle nieskomplikowany i w na tyle sformalizowanym jezyku, ze mozna dostarczyc matematyczny dowod jego poprawnosci. Wtedy testowac trzeba juz tylko hardware na ktorym to chodzi :-) 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. JMP
Re: Firewall
Author: Jarek Lis
Date: Tue, 26 Nov 1996 17:52
Date: Tue, 26 Nov 1996 17:52
10 lines
1050 bytes
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.
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads