TY  - RPRT
TI  - SecGoal: A Benchmark for Extracting Formalizable Security Goals from Protocol Documents
AU  - Dawei Huang
AU  - Hui Li
AU  - Bo Jia
AU  - Haonan Feng
AU  - Jingjing Guan
AU  - Yueshuang Jiao
AU  - Xiangdong Li
PY  - 2026
UR  - https://arxiv.org/abs/2604.27601
ID  - 2604.27601
ER  -