On Unifying the Formal Method to Depict the Security Properties
统一的安全属性形式化描述方法的研究

The formal expression of security properties based on special analysis methods and used to special properties has largely affected the validity and applicability of the formal security protocol analysis.In order to solve this problem,a unifying method based on trace is been formally presented.In this method,the security properties are expressed as the match relations between property actions.This method can be used to express most kinds of security properties.As an example,it has been used to analyse the fo...