Después de leer sobre la seguridad basada en el lenguaje, parece que los protocolos que se definen utilizando gramáticas regulares o sin contexto son altamente resistentes a los ataques de inyección de código.
¿Hay algún buen protocolo de seguridad que sea libre de contexto o regular?