Wu Yuan-chen

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The formal description of authentication protocol and its security analysis is one of the important issues in the protocol analysis. In order to solve the problem in the formal description of cryptographic protocol, a method based on directed graph is presented to formally depict the authentication protocol specification. Meanwhile, a converse-searching(More)
  • 1