【摘要】 引入顺序图描述安全协议,提出实体框架模型分析电子现金协议.通过实体框架,可以确定协议各参与者以及敌手的能力,明确匿名性等安全特性的语义含义,清晰地对电子现金这种复杂协议进行形式化分析.更多还原

【Abstract】 Sequence diagram is applied to illustrate security protocol.Entity framework is proposed to analyze e-cash protocol.In entity framework,the ability of participant and penetrator can be distinct,the semantic meaning of secure attributes,such as anonymity,can be clearly defined and e-cash protocol can be analyzed formally.更多还原