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 条
  • [1] Challenges of Finger Vein Verification System: A Theoretical Perspective
    Akintoye, Kayode Akinlekan
    Rahim, Mohd Shafry Mohd
    Abdullah, Abdul Hanan
    [J]. ADVANCED SCIENCE LETTERS, 2018, 24 (05) : 3602 - 3608
  • [2] Web Data Mining A Perspective of Research Issues and Challenges
    Kavita
    Mahani, Priyanka
    Ruhil, Neelam
    [J]. PROCEEDINGS OF THE 10TH INDIACOM - 2016 3RD INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT, 2016, : 3235 - 3238
  • [3] Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research
    Souri, Alireza
    Rahmani, Amir Masoud
    Navimipour, Nima Jafari
    [J]. INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, 2018, 31 (17)
  • [4] A perspective on program verification
    de Roever, Willem-Paul
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 470 - 477
  • [5] Web driven alert verification
    Najafi, Abolfazl
    Sepahi, Ahamd
    Jalili, Rasool
    [J]. 2014 11TH INTERNATIONAL ISC CONFERENCE ON INFORMATION SECURITY AND CRYPTOLOGY (ISCISC), 2014, : 180 - 185
  • [6] Modelling and Verification of Web Navigation
    Ding, Zuohua
    Jiang, Mingyue
    Pu, Geguang
    Sanders, Jeff W.
    [J]. WEB ENGINEERING, PROCEEDINGS, 2009, 5648 : 181 - +
  • [7] The patient perspective on challenges to participating in pulmonary rehabilitation: An international web-based survey
    Masefield, Sarah
    Powell, Pippa
    Rochester, Carolyn
    Vogiatzis, Giannis
    [J]. EUROPEAN RESPIRATORY JOURNAL, 2015, 46
  • [8] VeriNet Web - Speaker verification for the World Wide Web
    Farrell, K
    Mistretta, V
    [J]. 2000 IEEE INTERNATIONAL CONFERENCE ON MULTIMEDIA AND EXPO, PROCEEDINGS VOLS I-III, 2000, : 1497 - 1500
  • [9] Verification of the web applications using sink web pages
    Popescu, Doru Anastasiu
    Danauta, Catrinel Maria
    [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON VIRTUAL LEARNING, ICVL 2011, 2011, : 485 - 491
  • [10] Web Protocols and Challenges of Web Latency in the Web of Things
    Naik, Nitin
    Jenkins, Paul
    [J]. 2016 EIGHTH INTERNATIONAL CONFERENCE ON UBIQUITOUS AND FUTURE NETWORKS (ICUFN), 2016, : 845 - 850
12345