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 条
  • [21] Towards formal basis for security aspects of dynamic web services composition
    Xu, Dong-Hong
    Qi, Yong
    Hou, Di
    Chen, Ying
    Liu, Liang
    [J]. TENCON 2007 - 2007 IEEE REGION 10 CONFERENCE, VOLS 1-3, 2007, : 282 - +
  • [22] Encoding abstract descriptions into executable web services:: Towards a formal development
    Chirichiello, A
    Salaün, G
    [J]. 2005 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE, PROCEEDINGS, 2005, : 457 - 463
  • [23] Middleware framework for secure grid application in mobile Web services environment
    Park, N
    Moon, K
    Jang, J
    Sohn, S
    [J]. GRID AND COOPERATIVE COMPUTING GCC 2004 WORKSHOPS, PROCEEDINGS, 2004, 3252 : 406 - 413
  • [24] A secure web services providing framework based on lock-keeper
    Cheng, Feng
    Menzel, Michael
    Meinel, Christoph
    [J]. MANAGING NEXT GENERATION NETWORKS AND SERVICES, PROCEEDINGS, 2007, 4773 : 375 - +
  • [25] The Jasper Framework: Towards a Platform Independent, Formal Treatment of Web Programming
    Smith, James
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (98): : 31 - 45
  • [26] On developing a distributed CBR framework through Semantic Web Services
    Díaz-Agudo, Belén
    González-Calero, Pedro A.
    Gomez-Martín, Pedro P.
    Gomez-Martín, Marco A.
    [J]. CEUR Workshop Proc., 1613,
  • [27] Secure sessions for web services
    Bhargavan, Karthikeyan
    Corin, Ricardo
    Fournet, Cedric
    Gordon, Andrew D.
    [J]. ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, 2007, 10 (02)
  • [28] Secure authorisation for web services
    Indrakanti, S
    Varadharajan, V
    Hitchens, M
    Kumar, A
    [J]. DATA AND APPLICATIONS SECURITY XVII: STATUS AND PROSPECTS, 2004, 142 : 163 - 175
  • [29] Secure Web Services Negotiation
    Mohanty, Vakul
    Hota, Chittaranjan
    [J]. TRENDS IN COMPUTER SCIENCE, ENGINEERING AND INFORMATION TECHNOLOGY, 2011, 204 : 609 - 618
  • [30] Developing secure Web applications
    Scott, D
    Sharp, R
    [J]. IEEE INTERNET COMPUTING, 2002, 6 (06) : 38 - 45
12345