首页> 外文OA文献 >Analysis of Web Services Secure Conversation with Formal Methods ∗

【2h】

Analysis of Web Services Secure Conversation with Formal Methods ∗

机译：使用形式化方法分析Web服务安全对话*

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Llanos Tobarra; Diego Cazorla; O Cuartero; Gregorio Díaz;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Ontology-based modelling of extended web service secure conversation pattern [J] . Ashish Kumar Dwivedi International journal of metadata, semantics and ontologies . 2019,第4期

机译：基于本体的扩展Web服务安全对话模式建模
2. How Amazon Web Services uses formal methods [J] . Amos Olagunju Computing reviews . 2016,第2期

机译：Amazon Web Services如何使用正式方法
3. How Amazon Web Services Uses Formal Methods [J] . Newcombe Chris, Rath Tim, Zhang Fan, Communications of the ACM . 2015,第4期

机译：Amazon Web Services如何使用正式方法
4. Analysis of Web Services Secure Conversation with Formal Methods [C] . Tobarra, Llanos, Cazorla, . 2007

机译：Web服务安全对话的形式化方法分析
5. A formal verification approach of conversations in composite web services. [D] . Kova, Melissa. 2009

机译：复合Web服务中对话的一种正式验证方法。
6. Secure Service Proxy: A CoAP(s) Intermediary for a Securer and Smarter Web of Things [O] . Floris Van den Abeele, Ingrid Moerman, Piet Demeester, 2017

机译：安全服务代理：安全智能的物联网的CoAP中介
7. Application of formal methods to the analysis of web services security [O] . Llanos Tobarra, Diego Cazorla, O Cuartero 2005

机译：正式方法在Web服务安全性分析中的应用
8. Commercial Web Straps and Chain Methods of Securement for Joint Services Road Test. [R] . Solberg, J. B. 1993

机译：联合服务道路试验的商业网络带和连锁方法。

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号