@inproceedings{rakha:hal-02294615,
  TITLE = {{Generating a Real-Time Constraint Engine for Network Protocols}},
  AUTHOR = {Rakha, Mohamed Sami and Imam, Fahim T. and Dean, Thomas R.},
  URL = {https://hal.science/hal-02294615},
  NOTE = {Part 2: Real World},
  BOOKTITLE = {{12th IFIP International Conference on Information Security Theory and Practice (WISTP)}},
  ADDRESS = {Brussels, Belgium},
  EDITOR = {Olivier Blazy and Chan Yeob Yeun},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Information Security Theory and Practice},
  VOLUME = {LNCS-11469},
  PAGES = {44-60},
  YEAR = {2018},
  MONTH = Dec,
  DOI = {10.1007/978-3-030-20074-9\_5},
  KEYWORDS = {Intrusion detection ; Domain-specific language ; Network security ; Real-time systems ; Source code generation},
  PDF = {https://hal.science/hal-02294615/file/484602_1_En_5_Chapter.pdf},
  HAL_ID = {hal-02294615},
  HAL_VERSION = {v1},
}