| | Conference on Computer and Communications Security archiveProceedings of the 10th ACM conference on Computer and communications security 2003, Washington D.C., USA October 27 - 30, 2003 | | General Chairs | | | Program Chairs | |
| | | | | | | | Table of Contents | | | | | | | | | SESSION: DOS protection | | | DoS protection for UDP-based protocols Charlie Kaufman, Radia Perlman, Bill Sommerfeld Pages: 2 - 7 Full text available: Pdf(91 KB) | | | Using graphic turing tests to counter automated DDoS attacks against web servers William G. Morein, Angelos Stavrou, Debra L. Cook, Angelos D. Keromytis, Vishal Misra, Dan Rubenstein Pages: 8 - 19 Full text available: Pdf(257 KB) | | | Robust correlation of encrypted attack traffic through stepping stones by manipulation of interpacket delays Xinyuan Wang, Douglas S. Reeves Pages: 20 - 29 Full text available: Pdf(332 KB) | | | Hop-count filtering: an effective defense against spoofed DDoS traffic Cheng Jin, Haining Wang, Kang G. Shin Pages: 30 - 41 Full text available: Pdf(214 KB) |
| | | | | | | | | | | | | | | | | SESSION: Authentication and signature schemes | | | On the performance, feasibility, and use of forward-secure signatures Eric Cronin, Sugih Jamin, Tal Malkin, Patrick McDaniel Pages: 131 - 144 Full text available: Pdf(387 KB) | | | Print signatures for document authentication Baoshi Zhu, Jiankang Wu, Mohan S. Kankanhalli Pages: 145 - 154 Full text available: Pdf(647 KB) | | | Efficiency improvements for signature schemes with tight security reductions Jonathan Katz, Nan Wang Pages: 155 - 164 Full text available: Pdf(307 KB) | | | Origin authentication in interdomain routing William Aiello, John Ioannidis, Patrick McDaniel Pages: 165 - 178 Full text available: Pdf(268 KB) |
| | | | | | | | | | | | | | | | | | | | | SESSION: Analysis and verification | | | MECA: an extensible, expressive system and language for statically checking security properties Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson Engler Pages: 321 - 334 Full text available: Pdf(344 KB) | | | CDiff: a new reduction technique for constraint-based analysis of security protocols David Basin, Sebastian Mödersheim, Luca Viganò Pages: 335 - 344 Full text available: Pdf(278 KB) | | | Buffer overrun detection using linear programming and static analysis Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, David Vitek Pages: 345 - 354 Full text available: Pdf(196 KB) | | | Cryptographic tamper evidence Gene Itkis Pages: 355 - 364 Full text available: Pdf(256 KB) |
| |
|