Modeling Analysis for a Cryptographic Protocol Using Coloured Petri Net

• 有色Petri网的一种密码协议建模分析