@收款{zbMATH06507267，作者={巴加万，卡提基扬和福内特，C{\ee}dric和戈登，安德鲁D.}，标题={web服务身份验证的语义}，BookTitle={第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'04，意大利威尼斯，2004年1月14日至16日}，国际标准图书编号={1-58113-729-X}，页码={198--209}，年份={2004}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/964001.964018}，关键词={68Q60,68M11,68M12,94A60,94A62}，URL={citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.4.6857}，zbMATH={6507267}，Zbl={1325.68140}}