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
    SAM '05: Proceedings of the 2005 International Conference on Security and Management, 2005, : 253 - 259
  • [42] Web services security: Challenges and techniques
    Singhal, Anoop
    Eighth IEEE International Workshop on Policies for Distributed Systems and Networks - Proceedings, 2007, : 282 - 282
  • [43] Security: A Major Threat for Web Services
    Balasubramanian, N.
    Ruba, A.
    2012 IEEE INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION CONTROL AND COMPUTING TECHNOLOGIES (ICACCCT), 2012, : 104 - 109
  • [44] Advanced web services security specifications
    Gailey, Jeannine Hall
    Computer Security Journal, 2004, 20 (04): : 1 - 7
  • [45] Security-by-Contract for Web Services
    Dragoni, Nicola
    Massacci, Fabio
    SWS'07: PROCEEDINGS OF THE 2007 ACM WORKSHOP ON SECURE WEB SERVICES, 2007, : 90 - 98
  • [46] Towards a Process for Web Services Security
    Gutiérrez, C
    Fernández-Medina, E
    Piattini, M
    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
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2003, 3188 : 197 - 222
  • [48] The subtle security risks of web services
    Herbert H. Thompson
    Datenschutz und Datensicherheit - DuD, 2006, 30 (10) : 604 - 606
  • [49] A framework for enhancing web services security
    Sidharth, Navya
    Liu, Jigang
    COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL I, PROCEEDINGS, 2007, : 23 - +
  • [50] Web services security, composition, and discovery
    Zhang, Liang-Jie
    INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2008, 5 (01) : I - II
12345