신뢰도 기반 프로토콜 IR: LLM을 활용한 보안 프로토콜 모델링
보안 프로토콜의 자연어 설명을 형식 모델로 변환하는 과정에서 LLM의 출력 신뢰도를 향상시키기 위해 인간 검증을 통합한 프레임워크를 제안한다. 프로토콜 IR은 의미적 정확성을 검증하는 중간 표현으로, 모델 생성 전에 중요한 결정을 검토하도록 사용자에게 안내한다.
시사점 이 연구는 LLM을 활용한 보안 프로토콜 모델링의 신뢰도를 높이기 위해 인간 검증을 결합한 프레임워크를 제시하여, 형식 검증 도구와의 협업을 강화할 수 있다.