@inproceedings{Ma:2018m6,
  author = "Ma, Chao  and  He, Anping  and  Jia, Tingting  and  Li, Lian  and  Feng, Zhihua",
  title = "{Security Path Checking of A Circuit with Behavior Description}",
  doi = "10.22323/1.300.0046",
  booktitle = "Proceedings of Information Science and Cloud Computing {\textemdash} PoS(ISCC 2017)",
  year = 2018,
  volume = "300",
  pages = "046"
}