A New Model to Describe Protocols: Strand Space Model

• 一种描述协议的新模型:线索空间模型