@inproceedings{wassermann2004afs,
  title={{An Analysis Framework for Security in Web Applications}},
  author={Gary Wassermann and Zhendong Su},
  booktitle={Proceedings of the FSE Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004)},
  pages={70--78},
  address={Newport Beach, CA},
  month=oct,
  year={2004}
}