A formal model for multi-protocol analysis

Abstract

Formal models is the basis of protocol analysis, and existing formal models usually assume that only a single protocol runs in an untrusted network. However, when a protocol is deployed, it is usually run concurrently with other peer protocols on the network. As a result, these models cannot analyze multi-protocol security. In this paper, we build the… (More)

Topics

2 Figures and Tables

Slides referencing similar topics