[FLAMEWAR] Re: DNS etc.

[Pavel Machek]

Ahoj!

> > >    Spravnost dokazujete vzdy vzhledem k nejake formalni specifikaci,
> > > ale tato specifikace je vlastne take sveho druhu program, takze muze
> > > byt rovnez spatne. A kdo dokaze spravnost specifikace?
> > 
> > RFC je axiom. :-)
> 
>    A ze jsem tak smely, zakazuje RFC, aby v DNS serveru byl buffer overrun?
> Myslim, ze nikoliv, takze dokazovani korektnosti vzhledem k RFC nebude tim
> pravym testem.

Zakazuje: protoze pokud "vhodnym" zpusobem vyuzijes buffer overrun,
muzes trivialne donutit DNS server aby se choval proti RFC ;-).

								Pavel
-- 
I'm pavel na ucw.cz. "In my country we have almost anarchy and I don't care."
Panos Katsaloulis describing me w.r.t. patents me at discuss na linmodems.org