Unified Modeling of the Intruder’s Attack Ability Based on the Protocols
Jing Zhang · Dianzi Ke-ji Daxue xuebao · 2007
Protocols oracle model is an open model, which provides a unified framework to describe the intruder's attack ability precisely. Therefore, This article presents a protocols oracle model which makes a formalized description of the intruder's attack ability on the protocols. This model can also follow the tracks of the intruder's attack on the protocols through the protocols spanning tree.