A Stateful Protocol-Based Detection Engine Combining Behavior Use Cases and System Specifications. - S. Seng; Joaquín García-Alfaro; I. Gazeau; L. Desmonts (Internet Technol. Lett., 2025)