node.js OAuth2.0 PCI SSC Data Security Standards Overview QuICDoc Devdatta Akhawe Adam Barth Peifung E. Lam John C. Mitchell Dawn Song 2010 Towards a Formal Foundation of Web Security CSF 290–304 Jürgen Bohn Werner Damm Orna Grumberg Hardi Hungar Karen Laster 1998 First-Order-CTL Model Checking FSTTCS Alin Deutsch Liying Sui Victor Vianu 2007 Specification and verification of data-driven Web applications J. Comput. Syst. Sci. 73 3 442–474 E. Allen Emerson Joseph Y. Halpern 1983 "Sometimes" and "not never" revisited POPL '83 ACM
New York, NY, USA
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. Philippa Gardner Sergio Maffeis Gareth David Smith 2012 Towards a program logic for JavaScript POPL 31–44 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 Daniel R. Licata Shriram Krishnamurthi 2004 Verifying Interactive Web Programs ASE 164–173 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 Markus Müller-Olm David A. Schmidt Bernhard Steffen 1999 Model-Checking: A Tutorial Introduction SAS 330–354 Lawrence C. Paulson 1999 Inductive Analysis of the Internet Protocol TLS ACM Trans. Inf. Syst. Secur. 2 3 332–351 Anders P. Ravn JiríSrba Saleem Vighio 2010 A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL ISoLA (1) 579–593 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 James Smith 2013 State-event based versus purely Action or State based Logics