Alireza Oskooeepour

Title: Designing a General Security system using RAISE Formalism.

Abstract:

Security has become more important in IT systems. Thus, to protect such systems from related potential threats and harms, robust and dependable security solutions should be devised. In designing security systems, a number of other issues such as assurance and verifiability are also of concern. Due to their mathematical nature, formal methods are very suitable for the above purposes. Using these methods, one can accurately define a system, its boundaries, and the requirements from design. It also makes it possible to verify that the design meets the requirements.
   In this dissertation, we propose a general IT security system using RAISE specification method. To do so, the specification language RSL is utilized. The method for developing this system is based on the concept of Triptych introduced by Prof. Bjorner. The main goal of this research is to propose a formal security system with such a generality that makes it possible to be applied to different IT systems.

Keywords: IT systems, Security, Triptych Paradigm, Formal Methods, RAISE, RSL