Research and Application of Security Compliance Analysis Technology of Transmission Protocol Based on Finite-state machine Theory | IEEE Conference Publication | IEEE Xplore