Ma Zheng

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
Security protocols play more and more important role with the bursting development of Internet. Formal authentication is an effective way to detect flaws in those protocols. There are many automatic checkers for verifying protocols, but few can deal with digital signature protocols. This paper proposes a new tool for formal automatic verifying. It can have(More)
  • 1