Finite key analysis for symmetric attacks in quantum key distribution (9 pages)