@article{Biel-13-JLAP,
	author = {N. Bielova},
	title = {Survey on JavaScript Security Policies and their Enforcement Mechanisms in a Web Browser},
	journal = {Special Issue on Automated Specification and Verification of Web Systems of Journal of Logic and Algebraic Programming},
        note = {Submitted for publication},
	year = {2013},
	pages = {243 -- 262},
	volume = {82}, 
	number = {8}, 	
}