Formally Analyzing Security Protocol Using Approximation of Tree Language
基于树语言逼近的安全协议形式化分析

Formal method and automated tools are both necessary and efficient for analyzing practical security protocols.Theorem proving theory has been studied intensively because it can verify infinite-state system.But there are still limitations when verifying large scale system automatically.A formal model for security protocols was proposed based on theorem proving and rewriting approximation theory.It utilizes term rewriting system and tree automata to model protocol and the knowledge of intruder.An automatic ge...