图拉法尔

涂拉法乐:Web服务的安全工具。Web服务安全规范通常表示为XML模式、示例消息和叙述解释的混合。我们提出了一种新的规范语言,用于编写基于SOAP的安全协议的互补机器可检查描述及其属性。我们的TulaFALE语言是基于PI演算(用于编写并行运行的SOAP处理器的集合),再加上XML语法(表示SOAP消息)、逻辑谓词(构造和过滤SOAP消息)和对应断言(以指定协议的认证目标)。我们的实现将TulaFaR编译成应用的Pi演算,然后运行BLANCSET的基于分辨率的协议验证器。因此,我们可以自动验证SOAP协议的认证属性。


ZBMaX中的参考文献(14篇)1标准条款

显示结果1至14的14。
按年份排序(引文

  1. 阿曼多、Alessandro、阿尔萨克、维格兰、Barletta、米歇尔、卡维、阿尔伯托、卡佩、Alessandro、卡蓬、CyValier-Y.、CopaNa、Cue LaLa、Y、Erse、Y.、Faulu、S.;Minea;米迦勒;Torabi Dashti,穆罕默德;Turuani,马蒂厄;维甘,卢卡:面向服务体系结构的信任和安全性自动验证的AVANTSSAR平台(2012)伊波尔特
  2. 布兰切特,布鲁诺:安全协议验证:符号和计算模型(2012)
  3. Carpineti,Samuele;Laneve,Co Simo;Padovani,卢卡:PiDudie-一个用于实验Web服务技术的项目(2009)
  4. 戈登,Andrew D.,菲利普斯,安得烈:π演算的图表语义(2008)
  5. Bhargavan,KaTikigaN;福内特,C.E.Dric;戈登,Andrew D.;TSE,史蒂芬:安全协议验证互操作实现(2007)
  6. 谢瓦里埃,扬妮克;Lugez,丹尼斯;RuiNoWoigy,米莎L:用子项约束验证密码协议(2007)
  7. 扬妮克,Lujez,丹尼斯;RuiNoWig,米莎·L:走向Web服务安全性的自动分析(2007)
  8. 约翰逊,James E.;兰沃西,David E.;兰波特,莱斯利;沃格特,Friedrich H.:Web服务协议的形式化规范(2007)
  9. Backes,米迦勒;M·德舍姆,塞巴斯蒂安;PfimZMn,BrgIT;维甘,卢卡:安全WS-RelabyMeaScript场景的符号和密码分析(2006)
  10. 克莱纳,E,罗斯科,A. W.:Web服务安全与传统协议之间的关系(2006)
  11. Bhargavan,KaTiKeIn;福内特,C.E.Dric;戈登,Andrew D.:Web服务认证的语义(2005)
  12. Bhargavan,卡西克安,福内特,C·德里克;戈登,Andrew D.;Pucella,里卡尔多:TulaFael:一种Web服务的安全工具(2004)
  13. Bhargavan,卡西克安,福内特,C·德里克;戈登,Andrew D.;Pucella,里卡尔多:TulaFael:一种Web服务的安全工具(2004)伊波尔特
  14. 德波尔,Frank S.(ED);Bonsangue,Marcello M.(ED);Graf,Susanne(ED);de Roever,de Roever(ED):形式和方法的组件和对象。第二届国际研讨会,FMCO 2003,荷兰莱顿,11月4日- 7, 2003。修订讲座(2004)