×
卡尔蒂基扬·巴尔干；塞德里克·Fornet；安德鲁·戈登。

web服务身份验证的语义。 （英语） Zbl 1325.68140号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。198-209 (2004).

引用于1文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68英里11 互联网主题
68个M12 网络协议
94A60型 密码学
94A62型 身份验证、数字签名和秘密共享

关键词：

XML安全；应用pi-calculus；web服务
PDF格式BibTeX公司 XML格式引用
\textit{K.Bhargavan}等人，in：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。198-209（2004年；Zbl 1325.68140）
全文： 内政部 链接