A formal model for integrity protection based on DTE technique

Qingguang Ji, Sihan Qing, Yeping He. A formal model for integrity protection based on DTE technique. Science in China Series F: Information Sciences, 49(5):545-565, 2006. [doi]

@article{JiQH06,
  title = {A formal model for integrity protection based on DTE technique},
  author = {Qingguang Ji and Sihan Qing and Yeping He},
  year = {2006},
  doi = {10.1007/s11432-006-2014-6},
  url = {http://dx.doi.org/10.1007/s11432-006-2014-6},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/JiQH06},
  cites = {0},
  citedby = {0},
  journal = {Science in China Series F: Information Sciences},
  volume = {49},
  number = {5},
  pages = {545-565},
}