<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr">Den ons 21 nov. 2018 04:07 skrev Jon Callas <<a href="mailto:jon@callas.org">jon@callas.org</a>>:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">[...] Moreover, there are no direct analogues of such a problem to automotive technologies. (Note that I didn’t call it a bug; it’s not a bug, it is an emergent consequence of design.<br></blockquote></div></div><div dir="auto"><br></div><div dir="auto">Here's how I see it:</div><div dir="auto"><br></div><div dir="auto">There's things designed to an exact intent, and those who are not. </div><div dir="auto"><br></div><div dir="auto">Of those that are designed to an exact intent, there are those who follow it as expected (bug free) and those who don't (buggy). </div><div dir="auto"><br></div><div dir="auto">(Things without an exact intent can still be buggy, but when there's no expectation to compare to it's not easy to define what's buggy or not.) </div><div dir="auto"><br></div><div dir="auto">The bug can be in code that don't follow the specification. The bug can be in a design / specification / architecture that don't follow the intent. The bug can be in unexpected interactions with other systems in the typical environment, or in a false assumption about how the user will behave. </div><div dir="auto"><br></div><div dir="auto">All of those are bugs, because those are properties about the thing we built which can be changed such that it no longer behaves in violation of the intent during typical use. This means it previously *did something wrong*, given that the intent behind the thing must take typical use into consideration. Doing something wrong is a bug. </div><div dir="auto"><br></div><div dir="auto">As soon as you advertise a computer as safe for usage for things like encryption, then you have advertised an intent where every property of the computer that violates this security is a bug. </div><div dir="auto"><br></div><div dir="auto">As a sidenote: The bug can also be in your expectation. If you the correct answer to your question isn't what you expected, your expectation was wrong. </div><div dir="auto"><br></div><div dir="auto">Sometimes the unexpected or unwanted behavior also comes down to fundamental physics, in which case it's not a bug because you *can't* change it. In this case, it's once again the expectation of impossible behavior that was wrong. </div><div dir="auto"><br></div><div dir="auto">TL;DR: Whenever your expected behavior is possible to achieve, unexpected behavior is a bug. </div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"></blockquote></div></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><a href="http://www.metzdowd.com/mailman/listinfo/cryptography" rel="noreferrer noreferrer" target="_blank"></a></blockquote></div></div></div>