Confidence-Guided Protocol IR for LLM-Aided Security Protocol Modeling

arXiv cs.CR · 30 sept, 06:00

Investigadores presentan un marco de trabajo que usa modelos de lenguaje grande para traducir descripciones de protocolos de seguridad en lenguaje natural a modelos formales verificables con Tamarin. El enfoque introduce una representación intermedia (IR) auditable por humanos que captura la semántica del protocolo, con una interfaz que destaca campos inciertos antes de generar el modelo formal.