Browser-based enforcement of interface contracts in web applications with beepbeep

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5643 LNCS, Issue , 2009, Pages 648-653

  Hallé, Sylvain ^a   Villemaire, Roger ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FIRST-ORDER; INTERFACE SPECIFICATION; JAVA APPLET; ON-THE-FLY; RUNTIME MONITORS; WEB APPLICATION;

COMPUTER AIDED ANALYSIS; MARKUP LANGUAGES; WORLD WIDE WEB;

SPECIFICATIONS;

EID: 70350243073     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02658-4_50     Document Type: Conference Paper

References (13)

1. Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-time monitoring of instances and classes of web service compositions. In: ICWS, pp. 63-71. IEEE Computer Society, Los Alamitos (2006)
2. Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol. 4337, pp. 260-272. Springer, Heidelberg (2006)
3. Clark, J., DeRose, S.: XML path language (XPath) version 1.0, W3C recommendation (1999)
4. Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web services. In: Deutsch, A. (ed.) PODS, pp. 71-82. ACM, New York (2004)
5. Gerth, R., Peled, D., Vardi, M.Y., Wolper, P.: Simpleon-the-fly automatic verification of linear temporal logic. In: Dembinski, P., Sredniawa, M. (eds.) PSTV. IFIP Conference Proceedings, vol. 38, pp. 3-18. Chapman & Hall, Boca Raton (1995)
6. Hallé, S., Villemaire, R.: Runtime monitoring of message-based workflows with data. In: EDOC, pp. 63-72. IEEE Computer Society Press, Los Alamitos (2008)
7. Hughes, G., Bultan, T., Alkhalaf, M.: Client and server verification for web services using interface grammars. In: Bultan, T., Xie, T. (eds.) TAV-WEB, pp. 40-46. ACM, New York (2008)
8. Jim, T., Swamy, N., Hicks, M.: Defeating script injection attacks with browser-enforced embedded policies. In: Williamson, C.L., Zurko, M.E., Patel-Schneider,
9. P.F., Shenoy, P.J. (eds.) WWW, pp. 601-610. ACM, New York (2007)
10. Krüger, I.H., Meisinger, M., Menarini, M.: Runtime verification of interactions: From MSCs to aspects. In: Sokolsky, O., Taşiran, S. (eds.) RV 2007. LNCS, vol. 4839, pp. 63-74. Springer, Heidelberg (2007)
11. Mahbub, K., Spanoudakis, G.: Run-time monitoring of requirements for systems composed of web-services: Initial implementation and evaluation experience. In: ICWS, pp. 257-265. IEEE Computer Society, Los Alamitos (2005)
12. Rosu, G., Chen, F., Ball, T.: Synthesizing monitors for safety properties: This time with calls and returns. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp. 51-68. Springer, Heidelberg (2008)
13. Rosu, G., Havelund, K.: Rewriting-based techniques for runtime verification. Autom. Softw. Eng. 12(2), 151-197 (2005)