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 条
  • [41] On the improvement of XML web services security
    Abuelyaman, E
    Brammeier, B
    [J]. SAM '05: Proceedings of the 2005 International Conference on Security and Management, 2005, : 253 - 259
  • [42] Modeling and construction of web services security
    Wang, LG
    Lee, L
    [J]. EC2ND 2005, PROCEEDINGS, 2006, : 273 - +
  • [43] Web services security: Challenges and techniques
    Singhal, Anoop
    [J]. Eighth IEEE International Workshop on Policies for Distributed Systems and Networks - Proceedings, 2007, : 282 - 282
  • [44] Information Security for Web and SQL Services
    Iacob, Nicoleta Magdalena
    [J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON VIRTUAL LEARNING, 2014, : 408 - 412
  • [45] Application of OCSP in Security of Web Services
    Zhang, Zhen
    Li, Zhong
    [J]. 2012 2ND INTERNATIONAL CONFERENCE ON APPLIED ROBOTICS FOR THE POWER INDUSTRY (CARPI), 2012, : 913 - 915
  • [46] Towards a Process for Web Services Security
    Gutiérrez, C
    Fernández-Medina, E
    Piattini, M
    [J]. JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, 2006, 38 (01): : 57 - 67
  • [47] TulaFale: A security tool for web services
    Bhargavan, K
    Fournet, C
    Gordon, AD
    Pucella, R
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2003, 3188 : 197 - 222
  • [48] A framework for enhancing web services security
    Sidharth, Navya
    Liu, Jigang
    [J]. COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 23 - +
  • [49] The subtle security risks of web services
    Herbert H. Thompson
    [J]. Datenschutz und Datensicherheit - DuD, 2006, 30 (10) : 604 - 606
  • [50] Web services security, composition, and discovery
    Zhang, Liang-Jie
    [J]. INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2008, 5 (01) : I - II
12345