node.js http://nodejs.org/ OAuth2.0 http://oauth.net/2/ PCI SSC Data Security Standards Overview https://www.pcisecuritystandards.org/security_standards/ QuICDoc http://www.doc.ic.ac.uk/~jes204/quicdoc.zip Devdatta Akhawe Adam Barth Peifung E. Lam John C. Mitchell Dawn Song 2010 Towards a Formal Foundation of Web Security CSF 290–304 http://doi.ieeecomputersociety.org/10.1109/CSF.2010.27 Jürgen Bohn Werner Damm Orna Grumberg Hardi Hungar Karen Laster 1998 First-Order-CTL Model Checking FSTTCS http://dx.doi.org/10.1007/b71635 Alin Deutsch Liying Sui Victor Vianu 2007 Specification and verification of data-driven Web applications J. Comput. Syst. Sci. 73 3 442–474 http://dx.doi.org/10.1016/j.jcss.2006.10.006 E. Allen Emerson Joseph Y. Halpern 1983 "Sometimes" and "not never" revisited POPL '83 ACM
New York, NY, USA
127–140 http://doi.acm.org/10.1145/567067.567081
Alessandro Fantechi Stefania Gnesi Alessandro Lapadula Franco Mazzanti Rosario Pugliese Francesco Tiezzi 2012 A logical verification methodology for service-oriented computing ACM Trans. Softw. Eng. Methodol. http://doi.acm.org/10.1145/2211616.2211619 Philippa Gardner Sergio Maffeis Gareth David Smith 2012 Towards a program logic for JavaScript POPL 31–44 http://doi.acm.org/10.1145/2103656.2103663 Zef Hemel Danny M. Groenewegen Lennart C. L. Kats Eelco Visser 2011 Static consistency checking of web applications with WebDSL J. Symb. Comput. 46 2 150–182 http://dx.doi.org/10.1016/j.jsc.2010.08.006 Daniel R. Licata Shriram Krishnamurthi 2004 Verifying Interactive Web Programs ASE 164–173 http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10054 Michael C. Martin V. Benjamin Livshits Monica S. Lam 2005 Finding application errors and security flaws using PQL: a program query language OOPSLA 365–383 http://doi.acm.org/10.1145/1094811.1094840 Markus Müller-Olm David A. Schmidt Bernhard Steffen 1999 Model-Checking: A Tutorial Introduction SAS 330–354 http://dx.doi.org/10.1007/3-540-48294-6_22 Lawrence C. Paulson 1999 Inductive Analysis of the Internet Protocol TLS ACM Trans. Inf. Syst. Secur. 2 3 332–351 http://doi.acm.org/10.1145/322510.322530 Anders P. Ravn JiríSrba Saleem Vighio 2010 A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL ISoLA (1) 579–593 http://dx.doi.org/10.1007/978-3-642-16558-0_47 Jan Rutten Daniele Turi 1994 Initial Algebra and Final Coalgebra Semantics for Concurrency James Smith 2013 Concur - An Algorithm for Merging Concurrent Changes without Conflicts http://arxiv.org/abs/1303.7462 James Smith 2013 State-event based versus purely Action or State based Logics http://arxiv.org/abs/1303.7459