Web Verification: Perspective and Challenges

Authors:
Shriram Krishnamurthi
Affiliations:
Computer Science Department, Brown University, Providence, RI, USA
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 7
Cited 3

Generalising monads to arrows

Science of Computer Programming - Special issue on mathematics of program construction
The influence of browsers on evaluators or, continuations to program web servers

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
The CONTINUE Server (or, How I Administered PADL 2002 and 2003)

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Automatically Restructuring Programs for the Web

Automated Software Engineering
Verifying Interactive Web Programs

Proceedings of the 19th IEEE international conference on Automated software engineering
Verification and change-impact analysis of access-control policies

Proceedings of the 27th international conference on Software engineering
Modeling web interactions

ESOP'03 Proceedings of the 12th European conference on Programming

Customizable verifiers for web applications and their implementation

CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Customizable pattern-oriented verifiers for web applications

WSEAS Transactions on Information Science and Applications
Experiences in security testing for web-based applications

Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.