@inproceedings {261405,
	author = {John C. Mitchell and Vitaly Shmatikov and Ulrich Stern},
	title = {{Finite-State} Analysis of {SSL} 3.0},
	booktitle = {7th USENIX Security Symposium (USENIX Security 98)},
	year = {1998},
	address = {San Antonio, TX},
	url = {https://www.usenix.org/conference/7th-usenix-security-symposium/finite-state-analysis-ssl-30},
	publisher = {USENIX Association},
	month = jan
}
