Having documentation or source code is nice, but not going to help, because you have to verify the system in question actually conforms to the documentation. Wi

Having documentation or source code is nice, but not going to help, because you have to verify the system in question actually conforms to the documentation. With the software - to a certain extent - this is possible with static analysis, but with hardware this is nearly damn impossible. Nonetheless, having a solid formalizations for network protocols is a good idea. But this just won't happen.