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]

Authors

Qingguang Ji

This author has not been identified. Look up 'Qingguang Ji' in Google

Sihan Qing

This author has not been identified. Look up 'Sihan Qing' in Google

Yeping He

This author has not been identified. Look up 'Yeping He' in Google