Physics-based Security Analysis of Controller Area Network Protocols