Xia, Z., Wang, J., & Jiang, Y. (2005). Design Quality of Security Service Negotiation Protocol. Computing and Informatics, 24(2), 149–165. https://cai.type.sk/content/2005/2/design-quality-of-security-service-negotiation-protocol/