Abstract

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 Annual Hawaii International Conference on System Sciences
DOIs
StatePublished - 2011
Event44th Hawaii International Conference on System Sciences, HICSS-44 2010 - Koloa, Kauai, HI, United States
Duration: Jan 4 2011Jan 7 2011

Other

Other44th Hawaii International Conference on System Sciences, HICSS-44 2010
CountryUnited States
CityKoloa, Kauai, HI
Period1/4/111/7/11

Fingerprint

XML
Semantics
Theorem proving
Static analysis
Research laboratories
World Wide Web

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Mukhopadhyay, S., Bharadwaj, R., & Davulcu, H. (2011). Functional "AJAX" in secure synchronous programming. In Proceedings of the Annual Hawaii International Conference on System Sciences [5718595] https://doi.org/10.1109/HICSS.2011.210

Functional "AJAX" in secure synchronous programming. / Mukhopadhyay, Supratik; Bharadwaj, Ramesh; Davulcu, Hasan.

Proceedings of the Annual Hawaii International Conference on System Sciences. 2011. 5718595.

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

Mukhopadhyay, S, Bharadwaj, R & Davulcu, H 2011, Functional "AJAX" in secure synchronous programming. in Proceedings of the Annual Hawaii International Conference on System Sciences., 5718595, 44th Hawaii International Conference on System Sciences, HICSS-44 2010, Koloa, Kauai, HI, United States, 1/4/11. https://doi.org/10.1109/HICSS.2011.210
Mukhopadhyay S, Bharadwaj R, Davulcu H. Functional "AJAX" in secure synchronous programming. In Proceedings of the Annual Hawaii International Conference on System Sciences. 2011. 5718595 https://doi.org/10.1109/HICSS.2011.210
Mukhopadhyay, Supratik ; Bharadwaj, Ramesh ; Davulcu, Hasan. / Functional "AJAX" in secure synchronous programming. Proceedings of the Annual Hawaii International Conference on System Sciences. 2011.
@inproceedings{c2ff773bc2494d96bf5d9e56f3c1ac7a,
title = "Functional {"}AJAX{"} in secure synchronous programming",
abstract = "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.",
author = "Supratik Mukhopadhyay and Ramesh Bharadwaj and Hasan Davulcu",
year = "2011",
doi = "10.1109/HICSS.2011.210",
language = "English (US)",
isbn = "9780769542829",
booktitle = "Proceedings of the Annual Hawaii International Conference on System Sciences",

}

TY - GEN

T1 - Functional "AJAX" in secure synchronous programming

AU - Mukhopadhyay, Supratik

AU - Bharadwaj, Ramesh

AU - Davulcu, Hasan

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=79952947531&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79952947531&partnerID=8YFLogxK

U2 - 10.1109/HICSS.2011.210

DO - 10.1109/HICSS.2011.210

M3 - Conference contribution

AN - SCOPUS:79952947531

SN - 9780769542829

BT - Proceedings of the Annual Hawaii International Conference on System Sciences

ER -