@conference {268088,
	author = {John Mitchell},
	title = {Security Analysis of Network Protocols},
	year = {2008},
	address = {San Jose, CA},
	publisher = {USENIX Association},
	month = jul
}
