External Link
https://seclab.stanford.edu/pcl/mc/papers/browsermodel-csf-2010.pdf
BibTeX
@inproceedings{akhawe2010towards, title={Towards a formal foundation of web security}, author={Akhawe, Devdatta and Barth, Adam and Lam, Peifung E and Mitchell, John and Song, Dawn}, booktitle={2010 23rd IEEE Computer Security Foundations Symposium}, pages={290—304}, year={2010}, organization={IEEE} }