Choreographing security and performance analysis for web services

被引：0
|
作者：
Gilmore, S [1 ]
Haenel, V
Kloul, L
Maidl, M
机构：
[1] Univ Edinburgh, Lab Fdn Comp Sci, Edinburgh, Midlothian, Scotland
[2] Univ Versailles, PRiSM, F-78000 Versailles, France
[3] Siemens AG, D-81739 Munich, Germany
来源：
FORMAL TECHNIQUES FOR COMPUTER SYSTEMS AND BUSINESS PROCESSES, PROCEEDINGS | 2005年 / 3670卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from the UML models in the form of process calculus descriptions. These are analysed to provide strong guarantees of satisfactory security and performance. The results are reflected back in the form of a modified version of the UML model which highlights points of the design which can give rise to operational difficulties. A design platform supporting the methodology, Choreographer, interoperates with state-of-the-art UML modelling tools such as Poseidon. We illustrate the approach on an example.
引用
收藏
页码：200 / 214
页数：15
相关论文
共 50 条
  • [31] A Study on the Security Mechanism for Web Services
    Kou Hongzhao
    WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS 1 AND 2, 2010, : 93 - 96
  • [32] Web Services Specific Security Standards
    Cristescu, Marian Pompiliu
    Stoica, Eduard Alexandru
    Ciovica, Laurentiu Vasile
    21ST INTERNATIONAL ECONOMIC CONFERENCE OF SIBIU 2014, IECS 2014 PROSPECTS OF ECONOMIC RECOVERY IN A VOLATILE INTERNATIONAL CONTEXT: MAJOR OBSTACLES, INITIATIVES AND PROJECTS, 2014, 16 : 597 - 602
  • [33] Survey on the Web Services Security Specifications
    Zhang, Xiaofen
    Hou, Yi
    Ma, Jialin
    ENGINEERING SOLUTIONS FOR MANUFACTURING PROCESSES, PTS 1-3, 2013, 655-657 : 1809 - +
  • [34] Two patterns for Web services security
    Fernandez, EB
    IC'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING, VOLS 1 AND 2, 2004, : 801 - 807
  • [35] XML and web services security standards
    Norwegian Defence Research Establishment, Norway
    IEEE Commun. Surv. Tutor., 2009, 3 (22-36):
  • [36] Interoperable Security Standards for Web Services
    Lakshminarayanan, Sitaraman
    IT PROFESSIONAL, 2010, 12 (05) : 42 - 47
  • [37] Security development in Web Services environment
    Chou, DC
    Yurov, K
    COMPUTER STANDARDS & INTERFACES, 2005, 27 (03) : 233 - 240
  • [38] Application of OCSP in Security of Web Services
    Zhang, Zhen
    Li, Zhong
    2012 2ND INTERNATIONAL CONFERENCE ON APPLIED ROBOTICS FOR THE POWER INDUSTRY (CARPI), 2012, : 913 - 915
  • [39] Information Security for Web and SQL Services
    Iacob, Nicoleta Magdalena
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON VIRTUAL LEARNING, 2014, : 408 - 412
  • [40] Modeling and construction of web services security
    Wang, LG
    Lee, L
    EC2ND 2005, PROCEEDINGS, 2006, : 273 - +
12345