Formal Analysis and Improvement of CCITT X.509 Protocol
Weng Yan-qin · Computers & Security · 2012
Strand space model is a new cryptographic protocol analysis tool,certification test method which is based on strand space model is a more commonly used method.This article provides an overview of the strand space model theory,and certification testing theory based on strand space model.And we use this theory to formally analyze the CCITT X.509 protocol.We find that this protocol has flaws,and we improve it.