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