图拉费

TulaFale:一个web服务的安全工具。Web服务安全规范通常表示为XML模式、示例消息和叙述性解释的混合体。我们提出了一种新的规范语言来编写基于SOAP的安全协议及其属性的补充机器检查描述。我们的TulaFale语言基于pi演算(用于编写并行运行的SOAP处理器集合)、XML语法(表示SOAP消息)、逻辑谓词(构造和过滤SOAP消息)和通信断言(指定协议的身份验证目标)。我们的实现将TulaFale编译成应用pi演算,然后运行Blanchet的基于解析的协议验证程序。因此,我们可以自动验证SOAP协议的身份验证属性。


zbMATH中的参考文献(参考文献14条,1标准件)

显示第1至14个结果,共14个。
按年份排序(引用)

  1. 阿曼多,亚历山德罗;阿尔萨克,维姆;阿瓦尼索夫,提格兰;巴莱塔,米歇尔;卡尔维,阿尔贝托;卡帕伊,亚历山德罗;卡本,罗伯托;骑士,亚尼克;康巴尼亚,卢卡;库莱尔,豪尔赫;埃尔兹,加布里埃尔;夫人,西蒙妮;米娜,马吕斯;莫德谢姆,塞巴斯蒂安;冯·奥海姆,大卫;佩莱格里诺,詹卡洛;庞塔,塞琳娜·埃莉萨;罗切托,马可;俄罗斯女巫,迈克尔;穆罕默德·托拉比·达什蒂;图鲁阿尼,马修;Viganò,Luca:AVANTSSAR面向服务架构的信任和安全自动验证平台(2012)ioport公司
  2. 布兰切特,布鲁诺:安全协议验证:符号和计算模型(2012)
  3. 卡皮内蒂,萨缪尔;拉尼芙,科西莫;Padovani,Luca:PiDuce—一个试验web服务技术的项目(2009)
  4. 博格斯特伦,约翰内斯;戈登,安德鲁D。;Phillips,Andrew:pi演算的图表语义(2008)
  5. 巴格文,卡蒂克扬;福奈特,塞德里克;戈登,安德鲁D。;Tse,Stephen:安全协议的可互操作性验证实现(2007)
  6. 骑士,亚尼克;卢吉兹,丹尼斯;Rusinowitch,Michaël:使用子项约束验证密码协议(2007)
  7. 骑士,亚尼克;卢吉兹,丹尼斯;Rusinowitch,Michaël:走向web服务安全性的自动分析(2007)
  8. 约翰逊,詹姆斯E。;兰沃斯,大卫·E。;兰波特,莱斯利;Vogt,Friedrich H.:web服务协议的形式化规范(2007)
  9. 贝克,迈克尔;莫德谢姆,塞巴斯蒂安;普菲茨曼,比吉特;Viganò,Luca:安全WS-ReliableMessaging场景的符号和密码分析(2006)
  10. 克莱纳E。;Roscoe,A.W.:web服务安全与传统协议的关系(2006)
  11. 巴格文,卡蒂克扬;福奈特,塞德里克;Gordon,Andrew D.:web服务认证的语义(2005)
  12. 巴格文,卡蒂克扬;福奈特,塞德里克;戈登,安德鲁D。;Pucella,Riccardo:TulaFale:web服务的安全工具(2004)
  13. 巴格文,卡蒂克扬;福奈特,塞德里克;戈登,安德鲁D。;Pucella,Riccardo:Tulafale:web服务的安全工具(2004)ioport公司
  14. 德波尔,弗兰克·S(编辑);邦桑格,马塞洛M.(编辑);格拉夫,苏珊娜(编辑);DeRoever,Willem Paul(编辑):组件和对象的形式化方法。第二届国际研讨会,FMCO 2003,荷兰莱顿,2003年11月4日至7日。修改讲座。(2004年)