"Jefsey" == Jefsey Morfin <jefsey(_at_)online(_dot_)fr> writes:
Jefsey> At 03:19 18/02/2006, Sam Hartman wrote:
>> I think we disagree significantly on the level of formality
>> needed here.
Jefsey> yes. But I know future will turn me right
Jefsey> unfortunately. You cannot fight disruption without
Jefsey> formality. This is precisely what the IAB said.
No that's not quite what the IAB said. The IAB said that we need to
have clear and public documentation of what we're doing. So people
need to know what the rules are and need to know how to appeal
decisions and how to disagree with rules.
That doesn't require the level of formality you're asking for.
Jefsey> Do you
Jefsey> treat computer security informally?
Yes, often. Formal methods are excellent tools for some problems.
Other times though they are way over kill.
Ietf mailing list