1. Fabrega, F.J.T., Herzog, J.C., Guttman, J.D.: Strand space: Why is a security protocol correct. In: The 18th IEEE Symposium 1998, Oakland, USA, pp. 160–171. IEEE, Oakland (1998)
2. Fabrega, F.J.T., Herzog, J.C., Guttman, J.D.: Strand space: proving security protocols correct. J. Comput. Secur. 7(2,3), 191–230 (1999)
3. Guttman, J.D., Thayer, F.J.: Authentication tests and the structure of bundles. Theoret. Comput. Sci. 283(2), 333–380 (2002)
4. Li, L., Wang, L., Chen, J., Wang, R., Zhang, Z.: Fairness analysis for multiparty nonrepudiation protocols based on improved strand space. Discrete Dyn. Nat. Soc. 2014(1), 1–7 (2014)
5. Chang, Y., Zhang, Z., Wang, J.: A security protocol for trusted access to cloud environment. Recent Adv. Electr. Electron. Eng. 8(2), 135–144 (2015)