The TMN protocol is analyzed using incid ence matrix and state equation of Petri nets,then security flaws of TMN protocol are found and verified.So t he new method of cryptographic pr...

• 当前关于安全问题的研究热点之一是涉及密钥分布、身份验证、数字签名和公证的密码协议的形式化描述与分析。