@第{zbMATH02184095条，作者={巴加万，卡提基扬和福内特，C{\ee}dric和戈登，安德鲁D.}，标题={web服务身份验证的语义}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={340}，数字={1}，页码={102--153}，年份={2005}，语言={英语}，DOI={10.1016/j.tcs.2005.03.005}，关键词={68U35,68M10,68Q60,94A62}，zbMATH={2184095}，Zbl={1142.68587}}