Web Services Verification and Prudent Implementation-Reference-Cited by-同舟云学术

Web Services Verification and Prudent Implementation

Published:2012 Issue: Volume: Page:173-189
ISSN:0302-9743
Container-title:Data Privacy Management and Autonomous Spontaneus Security
language:
Short-container-title:

Author:

Avanesov Tigran,Chevalier Yannick,Anis Mekki Mohammed,Rusinowitch Michaël

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-28879-1_12

Reference24 articles.

1. Network of Excellence on Engineering Secure Future Internet Software Services and Systems, NESSoS project, http://www.nessos-project.eu

2. Automated Validation of Trust and Security of Service-Oriented Architectures, AVANTSSAR project (2008-2010), http://www.avantssar.eu

3. AVANTSSAR. Deliverable 2.3: ASLan final version with dynamic service and policy composition (2010), http://www.avantssar.eu/pdf/deliverables/avantssar-d2-3.pdf

4. AVANTSSAR. Deliverable 5.4: Assessment of the AVANTSSAR Validation Platform (2010), http://www.avantssar.eu

5. AVANTSSAR. The AVANTSSAR Validation Platform (2010), http://www.avantssar.eu

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formally sound implementations of security protocols with JavaSPI;Formal Aspects of Computing;2018-03

2. Intruder deducibility constraints with negation. Decidability and application to secured service compositions;Journal of Symbolic Computation;2017-05

3. A Model Based Security Testing Method for Protocol Implementation;The Scientific World Journal;2014

4. Real-Time Service Integration Based on Business Process Execution Language;Emerging Technologies for Information Systems, Computing, and Management;2013

5. Towards the Orchestration of Secured Services under Non-disclosure Policies;Lecture Notes in Computer Science;2012