{"id":449,"date":"2018-06-24T11:46:54","date_gmt":"2018-06-24T11:46:54","guid":{"rendered":"http:\/\/pages.di.unipi.it\/datamod\/?page_id=449"},"modified":"2018-06-24T11:46:54","modified_gmt":"2018-06-24T11:46:54","slug":"carma-modelling-of-network-security-by-v-galpin","status":"publish","type":"page","link":"https:\/\/pages.di.unipi.it\/datamod\/carma-modelling-of-network-security-by-v-galpin\/","title":{"rendered":"CARMA modelling of network security (by V. Galpin)"},"content":{"rendered":"<div class=\"plain\">\n<div>Software Defined Networks (SDNs) provide a flexible approach to networking. They are characterised by switches with dynamic behaviour which is determined by a single controller or set of controllers. This adaptivity allows for network topologies that can respond to the current circumstances and hence permit a co-ordinated response to attacks on the network such as denial of service (DoS).<\/div>\n<div><\/div>\n<div>CARMA (Collective Adaptive Resource-sharing Markovian Agents) is a process-algebra-style modelling language developed to model collective adaptive systems. It is allows expressive attribute-based communication using unicast and\/or broadcast and its semantics are expressed as time-inhomogeneous continuous-time Markov chains, allowing for simulation of models using a kinetic Monte Carlo algorithm. An important aspect of modelling collective adaptive systems is spatial distribution and the language of the CARMA Eclipse-Plugin, CaSL, provides a syntax for describing discrete space as graphs.<\/div>\n<div><\/div>\n<div>This presentation demonstrates how CARMA\/CaSL modelling can be applied to networks, specifically software defined networks. The space syntax is utilised to define the physical network infrastructure, allowing for models to be parametrised by a network description. This parameterisation means that the model consists of only four generic component definitions. A number of scenarios will be presented included a DoS attack and performance evaluation of a mitigation for a side-channel attack. Additionally, model parameters and validation will be considered.<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Software Defined Networks (SDNs) provide a flexible approach to networking. They are characterised by switches with dynamic behaviour which is determined by a single controller or set of controllers. This adaptivity allows for network topologies that can respond to the current circumstances and hence permit a co-ordinated response to attacks on the network such as <a href='https:\/\/pages.di.unipi.it\/datamod\/carma-modelling-of-network-security-by-v-galpin\/' class='excerpt-more'>[&#8230;]<\/a><\/p>\n","protected":false},"author":12,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-449","page","type-page","status-publish","hentry","post-seq-1","post-parity-odd","meta-position-corners","fix"],"_links":{"self":[{"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/pages\/449","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/users\/12"}],"replies":[{"embeddable":true,"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/comments?post=449"}],"version-history":[{"count":1,"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/pages\/449\/revisions"}],"predecessor-version":[{"id":450,"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/pages\/449\/revisions\/450"}],"wp:attachment":[{"href":"https:\/\/pages.di.unipi.it\/datamod\/wp-json\/wp\/v2\/media?parent=449"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}