ZHANG Quanshou, ZHOU Jianfeng. The Basic Theory and Method of ProtocolVerification TechniquesJ. Journal of Computer Research and Development, 1988, 25(1): 23-31.
Citation:
ZHANG Quanshou, ZHOU Jianfeng. The Basic Theory and Method of ProtocolVerification TechniquesJ. Journal of Computer Research and Development, 1988, 25(1): 23-31.
ZHANG Quanshou, ZHOU Jianfeng. The Basic Theory and Method of ProtocolVerification TechniquesJ. Journal of Computer Research and Development, 1988, 25(1): 23-31.
Citation:
ZHANG Quanshou, ZHOU Jianfeng. The Basic Theory and Method of ProtocolVerification TechniquesJ. Journal of Computer Research and Development, 1988, 25(1): 23-31.
The Basic Theory and Method of ProtocolVerification Techniques
The concept, contents, characteristics and ability of various protocolverification techniques used now are discussed. The relationship among the protocolverification techniques is described. The development tendency is indicated.
DownLoad: