Text this: Formal modeling and security analysis method of security protocol based on CPN