Analysis of Security Protocols Based on the Strand Space Model with Tags
Shigong Long · Microcomputer Information · 2010
The model of tags is introduced based on strand space theory,which is expanded.A type flaw attack on a security protocol is analyzed.And the improved RPC protocol as an example,we prove that type flaw attacks can be prevented using the model of tags.