SecGoal: A Benchmark for Security Goal Extraction and Formalization from Protocol Documents (ArXiv cs.CR Recent Papers, 2026)