Web Verification: Perspective and Challenges

被引：0
|
作者：
Krishnamurthi, Shriram [1 ]
机构：
[1] Brown Univ, Comp Sci Dept, Providence, RI 02912 USA
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 157卷 / 02期
关键词：
Web applications; temporal verification; access control; program analysis;
D O I：
10.1016/j.entcs.2005.12.044
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The Web poses novel and interesting problems for both programming language design and verification-and their intersection. This paper provides a personal outline of one thread of work on this topic.
引用
收藏
页码：41 / 46
页数：6
相关论文
共 50 条
  • [31] Verification of Web Services with Timed Automata
    Diaz, Gregorio
    Pardo, Juan-Jose
    Cambronero, Maria-Emilia
    Valero, Valentin
    Cuartero, Fernando
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (02) : 19 - 34
  • [32] Automated verification of programs and Web systems
    ter Beek, Maurice H.
    Lisitsa, Alexei
    Nemytykh, Andrei P.
    Ravara, Antonio
    [J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (05) : 653 - 654
  • [33] Tools for automated verification of Web services
    Bultan, T
    Fu, X
    Su, JW
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 8 - 10
  • [34] Semantic Verification of Web System Contents
    Alpuente, Maria
    Baggi, Michele
    Ballis, Demis
    Falaschi, Moreno
    [J]. ADVANCES IN CONCEPTUAL MODELING - CHALLENGES AND OPPORTUNITIES, 2008, 5232 : 437 - +
  • [35] A Language for Verification and Manipulation of Web Documents
    Liquori, Luigi
    Honsell, Furio
    Redamalla, Rekha
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (02) : 67 - 78
  • [36] Analysis and verification of composite web services
    Yang, YP
    Tan, QP
    [J]. Proceedings of the 11th Joint International Computer Conference, 2005, : 171 - 176
  • [37] Formal Verification in Web Services Composition
    Todica, Valeriu
    Vaida, Mircea-Florin
    Cremene, Marcel
    [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS, THETA 18TH EDITION, 2012, : 195 - 200
  • [38] On the Verification of Opacity in Web Services and Their Composition
    Bourouis, Amina
    Klai, Kais
    Ben Hadj-Alouane, Nejib
    El Touati, Yamen
    [J]. IEEE TRANSACTIONS ON SERVICES COMPUTING, 2017, 10 (01) : 66 - 79
  • [39] Compatibility verification for web service choreography
    Foster, H
    Uchitel, S
    Magee, J
    Kramer, J
    [J]. IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 738 - 741
  • [40] A fast algebraic Web verification service
    Alpuente, M.
    Ballis, D.
    Falaschi, M.
    Ojeda, P.
    Romero, D.
    [J]. WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2007, 4524 : 229 - +
12345