On Unifying the Formal Method to Depict the Security Properties
Zhou Ming-tian · 2008
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 formal express of the authentication,secret,and fairness properties.Compared with other methods,this method is simpler,more expressive and has great expansibility.