%0 Conference Proceedings
%T Generating a Real-Time Constraint Engine for Network Protocols
%+ Department of Electrical and Computer Engineering [Queen's University Kingston]
%+ Department of Electrical and Computer Engineering [University of Toronto] (ECE)
%A Rakha, Mohamed, Sami
%A Imam, Fahim, T.
%A Dean, Thomas, R.
%Z Part 2: Real World
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 12th IFIP International Conference on Information Security Theory and Practice (WISTP)
%C Brussels, Belgium
%Y Olivier Blazy
%Y Chan Yeob Yeun
%I Springer International Publishing
%3 Information Security Theory and Practice
%V LNCS-11469
%P 44-60
%8 2018-12-10
%D 2018
%R 10.1007/978-3-030-20074-9_5
%K Intrusion detection
%K Domain-specific language
%K Network security
%K Real-time systems
%K Source code generation
%Z Computer Science [cs]Conference papers
%X In this paper, we present a practical approach to generate the constraint engine for an effective constraint-based intrusion detection system (IDS). The IDS framework was designed for safety-sensitive networks that involve limited-access closed networks such as the networks for command and control systems or Air Traffic Control (ATC) systems. The constraint engine generated by the framework supports real-time performance while ensuring the intended, normal behaviour of its target networks. We present the IDS framework in terms of its internal DSL representation as well as its transformation mechanisms to generate the constraint engine code. Comparing the autogenerated version against a manually implemented, optimized version of the constraint engine indicates no significant difference in terms of their performance.
%G English
%Z TC 11
%Z WG 11.2
%2 https://hal.science/hal-02294615/document
%2 https://hal.science/hal-02294615/file/484602_1_En_5_Chapter.pdf
%L hal-02294615
%U https://hal.science/hal-02294615
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC11
%~ IFIP-WISTP
%~ IFIP-WG11-2
%~ IFIP-LNCS-11469