Software Defined Networking is a concept within the networking field which proposed centralized control considering and data planes. To overcome safety security threats, solutions might be divided into two categories: enforcing controller to make it more robust or architecture using multi-controller approach. This work aims pave way for without East-West interface avoid spreading of an attack. ...

We propose a methodology for the specification and verification of distributed algorithms using Gurevich’s concept of Abstract State Machines. The methodology relies on a distinction between a higherlevel specification and a lower-level specification of an algorithm. The algorithm is characterized by an informal problem description. A justification assures the appropriateness of the higher-leve...

We report the results of three empirical studies of fault detection and stability performance of the predicate-based BOR (Boolean OperatoR) testing strategy. BOR testing is used to develop test cases based on formal software specification, or based on the implementation code. We evaluated the BOR strategy with respect to some other strategies by using Boolean expressions and actual software. We...

We present a technique for the automated detection of potential structural and data symmetries from a probabilistic specification language. This approach involves the construction of an extended static channel diagram, a graphical representation of channel-based communication and global variable accesses from a specification defined in our custom made language SPS. This graph is used to compute...

it is well known that damaged structural members may alter the behaviour of the structures considerably. careful observation of these changes has often been viewed as a means to identify and assess the location and severity of damages in structures. among the responses of a structure, natural frequencies and natural modes are both relatively easy to obtain and independent from external excitati...

the human facial recognition is the base for all facial processing systems. in this work a basicmethod is presented for the reduction of detection time in fixed image with different color levels.the proposed method is the simplest approach in face spatial localization, since it doesn’trequire the dynamics of images and information of the color of skin in image background. inaddition, to do face...

This paper discusses a novel approach to specificationbased intrusion detection in the field of networked control systems. Our approach reduces the substantial human effort required to deploy a specification-based intrusion detection system by automating the development of its specification rules. We observe that networked control systems often include comprehensive documentation used by operat...

In our paper “Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments”, we propose the Property Detection for Asynchronous Context (PDAC) framework to support formal specification and runtime detection of dynamic properties in asynchronous pervasive computing environments. Three essential parts of the framework are discussed: modeling of...

This paper examines how formal specification techniques can support the verification and validation (V&V) of knowledge-based systems. Formal specification techniques provide levels of description which support both verification and validation, and V&V techniques feed back to assist the development of the specifications. Developing a formal specification for a system requires the prior construct...