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}, }