ANCHOR: logically-centralized security for Software-Defined Networks

While the centralization of SDN brought advantages such as a faster pace of innovation, it also disrupted some of the natural defenses of traditional architectures against different threats. The literature on SDN has mostly been concerned with the functional side, despite some specific works concerning non-functional properties like 'security' or 'dependability'. Though addressing the latter in an ad-hoc, piecemeal way, may work, it will most likely lead to efficiency and effectiveness problems. We claim that the enforcement of non-functional properties as a pillar of SDN robustness calls for a systemic approach. As a general concept, we propose ANCHOR, a subsystem architecture that promotes the logical centralization of non-functional properties. To show the effectiveness of the concept, we focus on 'security' in this paper: we identify the current security gaps in SDNs and we populate the architecture middleware with the appropriate security mechanisms, in a global and consistent manner. Essential security mechanisms provided by anchor include reliable entropy and resilient pseudo-random generators, and protocols for secure registration and association of SDN devices. We claim and justify in the paper that centralizing such mechanisms is key for their effectiveness, by allowing us to: define and enforce global policies for those properties; reduce the complexity of controllers and forwarding devices; ensure higher levels of robustness for critical services; foster interoperability of the non-functional property enforcement mechanisms; and promote the security and resilience of the architecture itself. We discuss design and implementation aspects, and we prove and evaluate our algorithms and mechanisms, including the formalisation of the main protocols and the verification of their core security properties using the Tamarin prover.Comment: 42 pages, 4 figures, 3 tables, 5 algorithms, 139 reference

Information content of colored motifs in complex networks

We study complex networks in which the nodes of the network are tagged with different colors depending on the functionality of the nodes (colored graphs), using information theory applied to the distribution of motifs in such networks. We find that colored motifs can be viewed as the building blocks of the networks (much more so than the uncolored structural motifs can be) and that the relative frequency with which these motifs appear in the network can be used to define the information content of the network. This information is defined in such a way that a network with random coloration (but keeping the relative number of nodes with different colors the same) has zero color information content. Thus, colored motif information captures the exceptionality of coloring in the motifs that is maintained via selection. We study the motif information content of the C. elegans brain as well as the evolution of colored motif information in networks that reflect the interaction between instructions in genomes of digital life organisms. While we find that colored motif information appears to capture essential functionality in the C. elegans brain (where the color assignment of nodes is straightforward) it is not obvious whether the colored motif information content always increases during evolution, as would be expected from a measure that captures network complexity. For a single choice of color assignment of instructions in the digital life form Avida, we find rather that colored motif information content increases or decreases during evolution, depending on how the genomes are organized, and therefore could be an interesting tool to dissect genomic rearrangements.Comment: 21 pages, 8 figures, to appear in Artificial Lif

Hierarchical stack filtering : a bitplane-based algorithm for massively parallel processors

With the development of novel parallel architectures for image processing, the implementation of well-known image operators needs to be reformulated to take advantage of the so-called massive parallelism. In this work, we propose a general algorithm that implements a large class of nonlinear filters, called stack filters, with a 2D-array processor. The proposed method consists of decomposing an image into bitplanes with the bitwise decomposition, and then process every bitplane hierarchically. The filtered image is reconstructed by simply stacking the filtered bitplanes according to their order of significance. Owing to its hierarchical structure, our algorithm allows us to trade-off between image quality and processing time, and to significantly reduce the computation time of low-entropy images. Also, experimental tests show that the processing time of our method is substantially lower than that of classical methods when using large structuring elements. All these features are of interest to a variety of real-time applications based on morphological operations such as video segmentation and video enhancement

The Origins of Computational Mechanics: A Brief Intellectual History and Several Clarifications

The principle goal of computational mechanics is to define pattern and structure so that the organization of complex systems can be detected and quantified. Computational mechanics developed from efforts in the 1970s and early 1980s to identify strange attractors as the mechanism driving weak fluid turbulence via the method of reconstructing attractor geometry from measurement time series and in the mid-1980s to estimate equations of motion directly from complex time series. In providing a mathematical and operational definition of structure it addressed weaknesses of these early approaches to discovering patterns in natural systems. Since then, computational mechanics has led to a range of results from theoretical physics and nonlinear mathematics to diverse applications---from closed-form analysis of Markov and non-Markov stochastic processes that are ergodic or nonergodic and their measures of information and intrinsic computation to complex materials and deterministic chaos and intelligence in Maxwellian demons to quantum compression of classical processes and the evolution of computation and language. This brief review clarifies several misunderstandings and addresses concerns recently raised regarding early works in the field (1980s). We show that misguided evaluations of the contributions of computational mechanics are groundless and stem from a lack of familiarity with its basic goals and from a failure to consider its historical context. For all practical purposes, its modern methods and results largely supersede the early works. This not only renders recent criticism moot and shows the solid ground on which computational mechanics stands but, most importantly, shows the significant progress achieved over three decades and points to the many intriguing and outstanding challenges in understanding the computational nature of complex dynamic systems.Comment: 11 pages, 123 citations; http://csc.ucdavis.edu/~cmg/compmech/pubs/cmr.ht

Complexity and biourbanism: thermodynamical architectural and urban models integrated in modern geographic mapping

The paper was presented on 5th April 2012 by Eleni Tracada in Theoretical Currents II conference in the University of Lincoln.Abstract Vital elements in urban fabric have been often suppressed for reasons of ‘style’. Recent theories, such as Biourbanism, suggest that cities risk becoming unstable and deprived of healthy social interactions. Our paper aims at exploring the reasons for which, fractal cities, which have being conceived as symmetries and patterns, can have scientifically proven and beneficial impact on human fitness of body and mind. During the last few decades, modern urban fabric lost some very important elements, only because urban design and planning turned out to be stylistic aerial views or new landscapes of iconic technological landmarks. Biourbanism attempts to re-establish lost values and balance, not only in urban fabric, but also in reinforcing human-oriented design principles in either micro or macro scale. Human life in cities and beyond emerges during ‘connectivity’ via geometrical continuity of grids and fractals, via path connectivity among highly active nodes, via exchange/movement of people and, finally via exchange of information (networks). All these elements form a hypercomplex system of several interconnected layers of a dynamic structure, all influencing each other in a non-linear manner. Sometimes networks of communication at all levels may suffer from sudden collapse of dynamic patterns, which have been proved to be vital for a long time either to landscapes and cityscapes. We are now talking about negotiating boundaries between human activities, changes in geographic mapping and, mainly about sustainable systems to support continuous growth of communities. We are not only talking about simple lives (‘Bios’) as Urban Syntax (bio and socio-geometrical synthesis), but also about affinities between developing topographies created by roadways and trajectories and the built environment. We shall also have the opportunity to show recent applications of these theories in our postgraduate students’ work, such as a 3D model as a new method of cartography of the Island of Mauritius, with intend to highlight developments in topography and architecture through a series of historical important events and mutating socio-political and economical geographies. This model may be able to predict failures in proposed and/or activated models of expansion, which do not follow strictly morphogenetic and physiological design processes. The same kind of modelling is capable to enable recognition of ‘optimal forms’ at different feedback scales, which, through morphogenetic processes, guarantee an optimal systemic efficiency, and therefore quality of life.ADT funds, university of Derby