{"id":4530,"date":"2021-11-08T19:31:47","date_gmt":"2021-11-08T18:31:47","guid":{"rendered":"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/"},"modified":"2021-11-08T19:42:55","modified_gmt":"2021-11-08T18:42:55","slug":"infrastrukturverifizierung","status":"publish","type":"page","link":"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/","title":{"rendered":"Infrastrukturelle Verifizierung"},"content":{"rendered":"<div id=\"pl-gb4530-6a13ce0b840a2\"  class=\"panel-layout\" ><div id=\"pg-gb4530-6a13ce0b840a2-0\"  class=\"panel-grid panel-no-style\" ><div id=\"pgc-gb4530-6a13ce0b840a2-0-0\"  class=\"panel-grid-cell\" ><div id=\"panel-gb4530-6a13ce0b840a2-0-0-0\" class=\"so-panel widget widget_sow-editor panel-first-child panel-last-child\" data-index=\"0\" ><div\n\t\t\t\n\t\t\tclass=\"so-widget-sow-editor so-widget-sow-editor-base\"\n\t\t\t\n\t\t>\n<div class=\"siteorigin-widget-tinymce textwidget\">\n\t<h3 class=\"mb-30\">Bauen Sie Ihre Wissensdatenbank auf<\/h3>\n<p class=\"mb-30\"><a href=\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_demo_car.png\"><img decoding=\"async\" loading=\"lazy\" class=\"aligncenter wp-image-243 size-mesmerize-full-hd\" src=\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_demo_car-1920x803.png\" alt=\"\" width=\"1920\" height=\"803\" srcset=\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_demo_car-1920x803.png 1920w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_demo_car-300x126.png 300w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_demo_car-768x321.png 768w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_demo_car-1024x428.png 1024w\" sizes=\"(max-width: 1920px) 100vw, 1920px\" \/><\/a>Mit unserem grafischen <a href=\"https:\/\/www.realtime-it.de\/index.php\/modeler\/\" target=\"_blank\" rel=\"noopener\">Modellierer<\/a> k\u00f6nnen Netzwerkdesigner erstellte Modelle in eine Wissensdatenbank umwandeln, die in Prolog implementiert wird. Es besteht aus Fakten und logischen Regeln, die das Modell beschreiben. Diese Wissensbasis wird zur \u00dcberpr\u00fcfung der gew\u00fcnschten Netzwerkeigenschaften verwendet. Durch entsprechende Abfragen k\u00f6nnen Sicherheitsexperten beispielsweise verifizieren, dass zwischen zwei gegebenen Netzknoten disjunkte Pfade bestehen. Eine solche Eigenschaft ist von Bedeutung, wenn im Netzwerk Fail-Operation- oder Redundanzanforderungen bestehen.<\/p>\n<h3 class=\"mb-30\">Modell -&gt; Angeben -&gt; Verifizieren<\/h3>\n<p><a href=\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach.png\"><img decoding=\"async\" loading=\"lazy\" class=\"aligncenter wp-image-242 size-full\" src=\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach.png\" alt=\"\" width=\"3679\" height=\"1667\" srcset=\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach.png 3679w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach-300x136.png 300w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach-768x348.png 768w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach-1024x464.png 1024w, https:\/\/www.realtime-it.de\/wp-content\/uploads\/2019\/05\/verification_approach-1920x870.png 1920w\" sizes=\"(max-width: 3679px) 100vw, 3679px\" \/><\/a><\/p>\n<p>&nbsp;<\/p>\n<p>Wir bieten Ihnen ein Regelwerk und Abfragen zur infrastrukturellen Netzverifikation. Dar\u00fcber hinaus k\u00f6nnen Sie je nach Spezifikation auch eigene dom\u00e4nenspezifische Regeln und Abfragen formulieren. Das Modell wird iterativ verifiziert und verbessert, bis alle Verifikationsziele erreicht sind.<\/p>\n<\/div>\n<\/div><\/div><\/div><\/div><\/div>\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Bauen Sie Ihre Wissensdatenbank auf Mit unserem grafischen Modellierer k\u00f6nnen Netzwerkdesigner erstellte Modelle in eine Wissensdatenbank umwandeln, die in Prolog implementiert wird. Es besteht aus Fakten und logischen Regeln, die das Modell beschreiben. Diese Wissensbasis wird zur \u00dcberpr\u00fcfung der gew\u00fcnschten Netzwerkeigenschaften verwendet. Durch entsprechende Abfragen k\u00f6nnen Sicherheitsexperten beispielsweise verifizieren, dass zwischen zwei gegebenen Netzknoten disjunkte&hellip; <br \/> <a class=\"read-more\" href=\"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/\">Weiterlesen<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"inline_featured_image":false},"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v20.11 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Infrastrukturelle Verifizierung - RealtimeIT<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/\" \/>\n<meta property=\"og:locale\" content=\"de_DE\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Infrastrukturelle Verifizierung - RealtimeIT\" \/>\n<meta property=\"og:description\" content=\"Bauen Sie Ihre Wissensdatenbank auf Mit unserem grafischen Modellierer k\u00f6nnen Netzwerkdesigner erstellte Modelle in eine Wissensdatenbank umwandeln, die in Prolog implementiert wird. Es besteht aus Fakten und logischen Regeln, die das Modell beschreiben. Diese Wissensbasis wird zur \u00dcberpr\u00fcfung der gew\u00fcnschten Netzwerkeigenschaften verwendet. Durch entsprechende Abfragen k\u00f6nnen Sicherheitsexperten beispielsweise verifizieren, dass zwischen zwei gegebenen Netzknoten disjunkte&hellip; Weiterlesen\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/\" \/>\n<meta property=\"og:site_name\" content=\"RealtimeIT\" \/>\n<meta property=\"article:modified_time\" content=\"2021-11-08T18:42:55+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/\",\"url\":\"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/\",\"name\":\"Infrastrukturelle Verifizierung - RealtimeIT\",\"isPartOf\":{\"@id\":\"https:\/\/www.realtime-it.de\/#website\"},\"datePublished\":\"2021-11-08T18:31:47+00:00\",\"dateModified\":\"2021-11-08T18:42:55+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/#breadcrumb\"},\"inLanguage\":\"de\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Startseite\",\"item\":\"https:\/\/www.realtime-it.de\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Infrastrukturelle Verifizierung\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.realtime-it.de\/#website\",\"url\":\"https:\/\/www.realtime-it.de\/\",\"name\":\"RealtimeIT\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\/\/www.realtime-it.de\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.realtime-it.de\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"de\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.realtime-it.de\/#organization\",\"name\":\"RealtimeIT\",\"url\":\"https:\/\/www.realtime-it.de\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"de\",\"@id\":\"https:\/\/www.realtime-it.de\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2021\/09\/whitegray_svg.svg\",\"contentUrl\":\"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2021\/09\/whitegray_svg.svg\",\"width\":4004,\"height\":1413,\"caption\":\" RealtimeIT\"},\"image\":{\"@id\":\"https:\/\/www.realtime-it.de\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.youtube.com\/@realtimeit2750\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Infrastrukturelle Verifizierung - RealtimeIT","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/","og_locale":"de_DE","og_type":"article","og_title":"Infrastrukturelle Verifizierung - RealtimeIT","og_description":"Bauen Sie Ihre Wissensdatenbank auf Mit unserem grafischen Modellierer k\u00f6nnen Netzwerkdesigner erstellte Modelle in eine Wissensdatenbank umwandeln, die in Prolog implementiert wird. Es besteht aus Fakten und logischen Regeln, die das Modell beschreiben. Diese Wissensbasis wird zur \u00dcberpr\u00fcfung der gew\u00fcnschten Netzwerkeigenschaften verwendet. Durch entsprechende Abfragen k\u00f6nnen Sicherheitsexperten beispielsweise verifizieren, dass zwischen zwei gegebenen Netzknoten disjunkte&hellip; Weiterlesen","og_url":"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/","og_site_name":"RealtimeIT","article_modified_time":"2021-11-08T18:42:55+00:00","twitter_card":"summary_large_image","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/","url":"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/","name":"Infrastrukturelle Verifizierung - RealtimeIT","isPartOf":{"@id":"https:\/\/www.realtime-it.de\/#website"},"datePublished":"2021-11-08T18:31:47+00:00","dateModified":"2021-11-08T18:42:55+00:00","breadcrumb":{"@id":"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/#breadcrumb"},"inLanguage":"de","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.realtime-it.de\/index.php\/infrastrukturverifizierung\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Startseite","item":"https:\/\/www.realtime-it.de\/"},{"@type":"ListItem","position":2,"name":"Infrastrukturelle Verifizierung"}]},{"@type":"WebSite","@id":"https:\/\/www.realtime-it.de\/#website","url":"https:\/\/www.realtime-it.de\/","name":"RealtimeIT","description":"","publisher":{"@id":"https:\/\/www.realtime-it.de\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.realtime-it.de\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"de"},{"@type":"Organization","@id":"https:\/\/www.realtime-it.de\/#organization","name":"RealtimeIT","url":"https:\/\/www.realtime-it.de\/","logo":{"@type":"ImageObject","inLanguage":"de","@id":"https:\/\/www.realtime-it.de\/#\/schema\/logo\/image\/","url":"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2021\/09\/whitegray_svg.svg","contentUrl":"https:\/\/www.realtime-it.de\/wp-content\/uploads\/2021\/09\/whitegray_svg.svg","width":4004,"height":1413,"caption":" RealtimeIT"},"image":{"@id":"https:\/\/www.realtime-it.de\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.youtube.com\/@realtimeit2750"]}]}},"_links":{"self":[{"href":"https:\/\/www.realtime-it.de\/index.php\/wp-json\/wp\/v2\/pages\/4530"}],"collection":[{"href":"https:\/\/www.realtime-it.de\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.realtime-it.de\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.realtime-it.de\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.realtime-it.de\/index.php\/wp-json\/wp\/v2\/comments?post=4530"}],"version-history":[{"count":2,"href":"https:\/\/www.realtime-it.de\/index.php\/wp-json\/wp\/v2\/pages\/4530\/revisions"}],"predecessor-version":[{"id":4834,"href":"https:\/\/www.realtime-it.de\/index.php\/wp-json\/wp\/v2\/pages\/4530\/revisions\/4834"}],"wp:attachment":[{"href":"https:\/\/www.realtime-it.de\/index.php\/wp-json\/wp\/v2\/media?parent=4530"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}