Bruce Christianson: Right, I think it was Dijkstra1 who said that if you don't formally specify a system it can never be insecure, it can only be surprising. The obvious course of action is for the European Commission to make formal specification illegal and then announce victory. But here to put the other side of that particular argument are Olgierd and Simon.
展开▼