Functional "AJAX" in secure synchronous programming

Supratik Mukhopadhyay, Ramesh Bharadwaj, Hasan Davulcu

Research output: Chapter in Book/Report/Conference proceedingConference contribution


AJAX (Asynchronous Javascript and XML) is a confederation of technologies aimed at providing improved user interaction with web-based applications. While AJAX provides an improved user experience, it also comes with its baggage of problems. The lack of formal semantics makes AJAX applications difficult to build, debug, understand, and validate. Different component technologies of AJAX (e.g., XMLHttpRequest or Javascript) are browser-sensitive and have different implementations and provide distinct functionalities. Source code is downloaded and run on the clients machines, raising security concerns. In this paper, we present an "AJAX"-like framework in an event-driven secure synchronous programming environment. Our framework is supported by a formal operational semantics. Applications written in our language can be verified using formal static analysis techniques such as theorem proving. The applications are compiled and run on the SINS (Secure Infrastructure for Networked Systems) infrastructure jointly developed in collaboration with the Naval Research Laboratory.

Original languageEnglish (US)
Title of host publicationProceedings of the 44th Annual Hawaii International Conference on System Sciences, HICSS-44 2010
StatePublished - Mar 28 2011
Event44th Hawaii International Conference on System Sciences, HICSS-44 2010 - Koloa, Kauai, HI, United States
Duration: Jan 4 2011Jan 7 2011

Publication series

NameProceedings of the Annual Hawaii International Conference on System Sciences
ISSN (Print)1530-1605


Other44th Hawaii International Conference on System Sciences, HICSS-44 2010
Country/TerritoryUnited States
CityKoloa, Kauai, HI

ASJC Scopus subject areas

  • Engineering(all)


Dive into the research topics of 'Functional "AJAX" in secure synchronous programming'. Together they form a unique fingerprint.

Cite this