Identifying Inter-Component Control Flow in Web Applications

We present an approach for statically reasoning about the behavior of Web applications that are developed using Java Servlets and JSP. Specifically, we attack the problems of guaranteeing that all output is well-formed and valid XML and ensuring consistency of XHTML form fields and session state. Our approach builds on a collection of program analysis techniques developed earlier in the JWIG and X<small>ACT</small> projects, combined with work on balanced context-free grammars. Together, this provides the necessary foundation concerning reasoning about output streams and application control flow.

Download Full-text

Ghostrail: Ad Hoc Control-Flow Integrity for Web Applications

ICT Systems Security and Privacy Protection - IFIP Advances in Information and Communication Technology ◽

10.1007/978-3-642-55415-5_22 ◽

2014 ◽

pp. 264-277

Author(s):

Bastian Braun ◽

Caspar Gries ◽

Benedikt Petschkuhn ◽

Joachim Posegga

Keyword(s):

Web Applications ◽

Ad Hoc ◽

Control Flow ◽

Control Flow Integrity

Download Full-text

Controlling Control Flow in Web Applications

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2008.04.096 ◽

2008 ◽

Vol 200 (3) ◽

pp. 119-131 ◽

Cited By ~ 3

Author(s):

Robin Message ◽

Alan Mycroft

Keyword(s):

Web Applications ◽

Control Flow

Download Full-text

Control-Flow Integrity in Web Applications

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-36563-8_1 ◽

2013 ◽

pp. 1-16 ◽

Cited By ~ 7

Author(s):

Bastian Braun ◽

Patrick Gemein ◽

Hans P. Reiser ◽

Joachim Posegga

Keyword(s):

Web Applications ◽

Control Flow ◽

Control Flow Integrity

Download Full-text

Static Analysis for Java Servlets and JSP

BRICS Report Series ◽

10.7146/brics.v13i8.21914 ◽

2006 ◽

Vol 13 (8) ◽

Cited By ~ 1

Author(s):

Christian Kirkegaard ◽

Anders Møller

Keyword(s):

Static Analysis ◽

Program Analysis ◽

Web Applications ◽

Control Flow ◽

Analysis Techniques ◽

Session State ◽

Context Free ◽

Context Free Grammars

We present an approach for statically reasoning about the behavior of Web applications that are developed using Java Servlets and JSP. Specifically, we attack the problems of guaranteeing that all output is well-formed and valid XML and ensuring consistency of XHTML form fields and session state. Our approach builds on a collection of program analysis techniques developed earlier in the JWIG and X<small>ACT</small> projects, combined with work on balanced context-free grammars. Together, this provides the necessary foundation concerning reasoning about output streams and application control flow.

Download Full-text

Struts Framework

Building and Managing Enterprise-Wide Portals ◽

10.4018/978-1-59140-661-7.ch012 ◽

2011 ◽

pp. 192-195

Author(s):

Jana Polgar ◽

Robert Mark Braum ◽

Tony Polgar

Keyword(s):

Web Applications ◽

Control Flow ◽

Struts Framework ◽

Mvc Pattern ◽

Mutual Cooperation ◽

Drive Control ◽

Java Server Pages ◽

Inside Out ◽

Java Code

When Java servlets were first invented, many developers quickly realized that they were faster and more powerful than the standard CGI. They were also portable and extensible. But writing HTML to send to the browser in an endless stream of println() statements was not practical. The next framework — Java Server Pages (JSP) — turned servlet writing inside out. JSP allows developers to mix HTML markup with Java code, and to therefore enjoy all the advantages of servlets along with easy development with HTML. The next stage was the realization that Java Server Pages and servlets could be used in mutual cooperation in Web applications. The servlets could serve as controllers and drive control flow, and the JSPs could concentrate on producing HTML pages. This actually was the rediscovery of the classic MVC pattern that was first abstracted in the famous Smalltalk MVC framework (Burbeck, 1987).

Download Full-text

What's in a conversation? Addressing the impact of web applications on associate-customer conversations

PsycEXTRA Dataset ◽

10.1037/e576992012-023 ◽

2003 ◽

Author(s):

Jennifer A. Al-Safar ◽

Merrill J. Zavod ◽

Ann C. Fulop

Keyword(s):

Web Applications ◽

The Impact

Download Full-text

DESIGNING E-LEARNING RESOURCES FOR TEACHING MATHEMATICS IN PRIMARY SCHOOL WITH ADOBE FLASH AND HTML5 SYSTEMS

Informatics in school ◽

10.32517/2221-1993-2018-17-7-49-57 ◽

2018 ◽

pp. 49-57

Author(s):

N. A. Gluzman

Keyword(s):

Primary School ◽

Web Applications ◽

Special Importance ◽

Learning Resources ◽

Multimedia Presentations ◽

Adobe Flash ◽

E Learning ◽

High Level ◽

And Training ◽

Training Practice

In the modern educational space regarding the realities of the information society special importance is attached to issues related to the provision of a high level of informatization of education, which implies teachers’ mastering the necessary competencies and the ability to introduce e-learning resources into educational and training practice. Adobe Flash as one of the platforms for creating web applications and multimedia presentations enjoys greatest popularity with users including teachers. However, in connection with the announcement of discontinuing Adobe Flash support in 2020, the issue of choosing an analog to create web applications and presentations for use in teaching purposes is becoming particularly relevant. The article provides a comprehensive analysis of developing electronic educational resources by teachers using Adobe Flash and HTML5 for teaching math in primary school.

Download Full-text