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]

Abstract

Abstract is missing.