<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
		<id>https://www.scipedia.com/wd/index.php?action=history&amp;feed=atom&amp;title=Rakha_et_al_2018a</id>
		<title>Rakha et al 2018a - Revision history</title>
		<link rel="self" type="application/atom+xml" href="https://www.scipedia.com/wd/index.php?action=history&amp;feed=atom&amp;title=Rakha_et_al_2018a"/>
		<link rel="alternate" type="text/html" href="https://www.scipedia.com/wd/index.php?title=Rakha_et_al_2018a&amp;action=history"/>
		<updated>2026-06-10T01:43:32Z</updated>
		<subtitle>Revision history for this page on the wiki</subtitle>
		<generator>MediaWiki 1.27.0-wmf.10</generator>

	<entry>
		<id>https://www.scipedia.com/wd/index.php?title=Rakha_et_al_2018a&amp;diff=204756&amp;oldid=prev</id>
		<title>Scipediacontent: Scipediacontent moved page Draft Content 168750855 to Rakha et al 2018a</title>
		<link rel="alternate" type="text/html" href="https://www.scipedia.com/wd/index.php?title=Rakha_et_al_2018a&amp;diff=204756&amp;oldid=prev"/>
				<updated>2021-02-03T15:32:46Z</updated>
		
		<summary type="html">&lt;p&gt;Scipediacontent moved page &lt;a href=&quot;/public/Draft_Content_168750855&quot; class=&quot;mw-redirect&quot; title=&quot;Draft Content 168750855&quot;&gt;Draft Content 168750855&lt;/a&gt; to &lt;a href=&quot;/public/Rakha_et_al_2018a&quot; title=&quot;Rakha et al 2018a&quot;&gt;Rakha et al 2018a&lt;/a&gt;&lt;/p&gt;
&lt;table class=&quot;diff diff-contentalign-left&quot; data-mw=&quot;interface&quot;&gt;
				&lt;tr style='vertical-align: top;' lang='en'&gt;
				&lt;td colspan='1' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan='1' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Revision as of 15:32, 3 February 2021&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan='2' style='text-align: center;' lang='en'&gt;&lt;div class=&quot;mw-diff-empty&quot;&gt;(No difference)&lt;/div&gt;
&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;</summary>
		<author><name>Scipediacontent</name></author>	</entry>

	<entry>
		<id>https://www.scipedia.com/wd/index.php?title=Rakha_et_al_2018a&amp;diff=204755&amp;oldid=prev</id>
		<title>Scipediacontent: Created page with &quot; == Abstract ==  Part 2: Real World; International audience; In this paper, we present a practical approach to generate the constraint engine for an effective constraint-based...&quot;</title>
		<link rel="alternate" type="text/html" href="https://www.scipedia.com/wd/index.php?title=Rakha_et_al_2018a&amp;diff=204755&amp;oldid=prev"/>
				<updated>2021-02-03T15:32:44Z</updated>
		
		<summary type="html">&lt;p&gt;Created page with &amp;quot; == Abstract ==  Part 2: Real World; International audience; In this paper, we present a practical approach to generate the constraint engine for an effective constraint-based...&amp;quot;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;&lt;br /&gt;
== Abstract ==&lt;br /&gt;
&lt;br /&gt;
Part 2: Real World; International audience; 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.&lt;br /&gt;
&lt;br /&gt;
Document type: Conference object&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== Original document ==&lt;br /&gt;
&lt;br /&gt;
The different versions of the original document can be found in:&lt;br /&gt;
&lt;br /&gt;
* [http://link.springer.com/content/pdf/10.1007/978-3-030-20074-9_5 http://link.springer.com/content/pdf/10.1007/978-3-030-20074-9_5],&lt;br /&gt;
: [http://dx.doi.org/10.1007/978-3-030-20074-9_5 http://dx.doi.org/10.1007/978-3-030-20074-9_5] under the license http://creativecommons.org/licenses/by/&lt;br /&gt;
&lt;br /&gt;
* [https://hal.archives-ouvertes.fr/hal-02294615 https://hal.archives-ouvertes.fr/hal-02294615],&lt;br /&gt;
: [https://hal.archives-ouvertes.fr/hal-02294615/document https://hal.archives-ouvertes.fr/hal-02294615/document],&lt;br /&gt;
: [https://hal.archives-ouvertes.fr/hal-02294615/file/484602_1_En_5_Chapter.pdf https://hal.archives-ouvertes.fr/hal-02294615/file/484602_1_En_5_Chapter.pdf] under the license http://www.springer.com/tdm&lt;br /&gt;
&lt;br /&gt;
* [https://link.springer.com/chapter/10.1007/978-3-030-20074-9_5 https://link.springer.com/chapter/10.1007/978-3-030-20074-9_5],&lt;br /&gt;
: [https://dblp.uni-trier.de/db/conf/wistp/wistp2018.html#RakhaID18 https://dblp.uni-trier.de/db/conf/wistp/wistp2018.html#RakhaID18],&lt;br /&gt;
: [https://rd.springer.com/chapter/10.1007/978-3-030-20074-9_5 https://rd.springer.com/chapter/10.1007/978-3-030-20074-9_5],&lt;br /&gt;
: [https://academic.microsoft.com/#/detail/2944758595 https://academic.microsoft.com/#/detail/2944758595] under the license http://creativecommons.org/licenses/by/&lt;/div&gt;</summary>
		<author><name>Scipediacontent</name></author>	</entry>

	</feed>