Towards a formal framework for developing secure web services

被引：0
|
作者：
Haidar, Ali Nasrat [1 ]
Abdallah, Ali E. [1 ]
机构：
[1] London South Bank Univ, E Secur Res Ctr, 103 Borough Rd, London SE1 0AA, England
来源：
SELECTED PAPERS FROM THE SECOND INTERNATIOANL WORKSHOP ON AUTOMATED SPECIFICATION AND VERIFICATION OF WEB SYSTEMS | 2007年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：61 / +
页数：2
相关论文
共 50 条
  • [1] A formal framework for secure and complying services
    Basile, Davide
    Degano, Pierpaolo
    Ferrari, Gian-Luigi
    [J]. JOURNAL OF SUPERCOMPUTING, 2014, 69 (01): : 43 - 52
  • [2] A formal framework for secure and complying services
    Davide Basile
    Pierpaolo Degano
    Gian -Luigi Ferrari
    [J]. The Journal of Supercomputing, 2014, 69 : 43 - 52
  • [3] A Formal Framework for Web Services Coordination
    Guidi, Claudio
    Lucchi, Roberto
    Mazzara, Manuel
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 180 (02) : 55 - 70
  • [4] Secure Framework for Web Services Communication
    Tanwar, Jitender
    Sharma, Sanjay Kumar
    Mittal, Mandeep
    [J]. 2018 INTERNATIONAL CONFERENCE ON AUTOMATION AND COMPUTATIONAL ENGINEERING (ICACE), 2018, : 187 - 190
  • [5] EFSOC: A Layered Framework for Developing Secure Interactions between Web-Services
    Willem-Jan van den Heuvel
    Kees Leune
    Mike P. Papazoglou
    [J]. Distributed and Parallel Databases, 2005, 18 : 115 - 145
  • [6] EFSOC: A layered framework for developing secure interactions between web-services
    Van den Heuvel, WJ
    Leune, K
    Papazoglou, MP
    [J]. DISTRIBUTED AND PARALLEL DATABASES, 2005, 18 (02) : 115 - 145
  • [7] Developing secure web services for computational portals
    Youn, C
    Pierce, M
    Fox, G
    [J]. SAM'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT, VOLS 1 AND 2, 2003, : 367 - 372
  • [8] A formal framework for description of semantic web services
    Jiang Zhixiong
    Qian Leqiu
    Pen xin
    [J]. 2007 CIT: 7TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2007, : 1065 - 1070
  • [9] A novel formal framework for secure dynamic services composition
    Xu, Dong-Hong
    Qi, Yong
    Hou, Di
    Wang, Gong-Zhen
    Chen, Ying
    [J]. 2008 IEEE 8TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2008, : 694 - +
  • [10] Towards Formal Interfaces for Web Services with Transactions
    Chen, Zhenbang
    Wang, Ji
    Dong, Wei
    Qi, Zhichang
    [J]. ADVANCED INTERNET BASED SYSTEMS AND APPLICATIONS, 2009, 4879 : 292 - 304
12345