Zhao Huawei, Zhang Wenyu. Definitions and Analysis of Integrity in Strand Spaces Model. In Fei Yu, Qi Luo, Yongjun Chen, Zhigang Chen, editors, Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China. pages 153-158, IEEE Computer Society, 2008. [doi]
Abstract is missing.