A Dynamic Non-Interference Trust Chain Model Based on Security Process Algebra

Fanwen Meng. A Dynamic Non-Interference Trust Chain Model Based on Security Process Algebra. In Lakhmi C. Jain, Xiangmo Zhao, Valentina Emilia Balas, Fuqian Shi, editors, Information Technology and Intelligent Transportation Systems - Proceedings of the 3rd International Conference on Information Technology and Intelligent Transportation Systems (ITITS 2018) - Xi'an, China, September 15-16, 2018. Volume 314 of Frontiers in Artificial Intelligence and Applications, pages 341-348, IOS Press, 2018. [doi]

@inproceedings{Meng18-12,
  title = {A Dynamic Non-Interference Trust Chain Model Based on Security Process Algebra},
  author = {Fanwen Meng},
  year = {2018},
  doi = {10.3233/978-1-61499-939-3-341},
  url = {https://doi.org/10.3233/978-1-61499-939-3-341},
  researchr = {https://researchr.org/publication/Meng18-12},
  cites = {0},
  citedby = {0},
  pages = {341-348},
  booktitle = {Information Technology and Intelligent Transportation Systems - Proceedings of the 3rd International Conference on Information Technology and Intelligent Transportation Systems (ITITS 2018) - Xi'an, China, September 15-16, 2018},
  editor = {Lakhmi C. Jain and Xiangmo Zhao and Valentina Emilia Balas and Fuqian Shi},
  volume = {314},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-61499-939-3},
}