Leyuan Niu

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Computational Models

Security Services

Artificial Immune Algorithm

Controlled Natural Language

Top Venues

Int. J. Netw. Secur.

Publications

Bo Meng, Chin-Tser Huang, Yitong Yang, Leyuan Niu, Dejun Wang
Automatic Generation of Security Protocol Implementations Written in Java from Abstract Specifications Proved in the Computational Model. Int. J. Netw. Secur. 19 (1) (2017)