A VERIFICATION METHOD OF CRYPTOGRAPHIC PROTOCOLS BASED ON TYPE
Pla Information · Computer Applications and Software · 2009
The way which uses a set of formal rules to verify the security properties of cryptographic protocols is probed in this paper.These rules stem from traditional concepts of classification and information flow,and are used to deal with the concurrent process in cryptographic protocols after being expanded.A way of verification can be provided to clients through these rules for judging:if a protocol passes the checks,then it is regarded as does not leak its secret information any.