1. node.js. Available at
  2. OAuth2.0. Available at
  3. PCI SSC Data Security Standards Overview. Available at
  4. QuICDoc. Available at
  5. Devdatta Akhawe, Adam Barth, Peifung E. Lam, John C. Mitchell & Dawn Song (2010): Towards a Formal Foundation of Web Security. In: CSF, pp. 290–304. Available at
  6. Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar & Karen Laster (1998): First-Order-CTL Model Checking. In: FSTTCS. Available at
  7. Alin Deutsch, Liying Sui & Victor Vianu (2007): Specification and verification of data-driven Web applications. J. Comput. Syst. Sci. 73(3), pp. 442–474. Available at
  8. E. Allen Emerson & Joseph Y. Halpern (1983): "Sometimes" and "not never" revisited. POPL '83. ACM, New York, NY, USA, pp. 127–140. Available at
  9. 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.. Available at
  10. Philippa Gardner, Sergio Maffeis & Gareth David Smith (2012): Towards a program logic for JavaScript. In: POPL, pp. 31–44. Available at
  11. 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), pp. 150–182. Available at
  12. Daniel R. Licata & Shriram Krishnamurthi (2004): Verifying Interactive Web Programs. In: ASE, pp. 164–173. Available at
  13. Michael C. Martin, V. Benjamin Livshits & Monica S. Lam (2005): Finding application errors and security flaws using PQL: a program query language. In: OOPSLA, pp. 365–383. Available at
  14. Markus Müller-Olm, David A. Schmidt & Bernhard Steffen (1999): Model-Checking: A Tutorial Introduction. In: SAS, pp. 330–354. Available at
  15. Lawrence C. Paulson (1999): Inductive Analysis of the Internet Protocol TLS. ACM Trans. Inf. Syst. Secur. 2(3), pp. 332–351. Available at
  16. Anders P. Ravn, JiríSrba & Saleem Vighio (2010): A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. In: ISoLA (1), pp. 579–593. Available at
  17. Jan Rutten & Daniele Turi (1994): Initial Algebra and Final Coalgebra Semantics for Concurrency.
  18. James Smith (2013): Concur - An Algorithm for Merging Concurrent Changes without Conflicts. Available at
  19. James Smith (2013): State-event based versus purely Action or State based Logics. Available at

Comments and questions to:
For website issues: