Verifying the Counter XML Rewriting Attacks Model Based on PI-Calculus
Youxiang Duan · Microcomputer applications · 2008
It is very important and necessary to check the security of a model. And it is effective to use formal methods to verify the model. In this paper, we use pi-calculus to verify availability, authenticity and security properties of Counter XML Rewriting Attack Model.