@article{Wang:2017tt, author = "Wang, Ruiyun and Zhao, Guolei and Chang, Chaowen and Wang, Xuejian", title = "{Formal Design and Verification for A Typical Security Gateway}", doi = "10.22323/1.299.0076", journal = "PoS", year = 2017, volume = "CENet2017", pages = "076" }