卡尔蒂基扬·巴尔干；塞德里克·Fornet；安德鲁·戈登。 web服务身份验证的语义。 （英语） Zbl 1142.68587号 西奥。计算。科学。 340，编号102-153（2005）.MSC公司：68单位35 68米10 60年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人，Theor。计算。科学。340，编号1，102--153（2005；Zbl 1142.68587） 全文： 内政部
卡尔蒂基扬·巴尔干；塞德里克·Fornet；安德鲁·戈登。 web服务身份验证的语义。 （英语） Zbl 1325.68140号 2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。198-209 (2004).MSC公司：60年第68季度 68英里11 68个M12 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人，in：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。198-209（2004年；Zbl 1325.68140） 全文： 内政部 链接