Designing a General IT Security System Using RAISE Formalism

Please enable javascript in your browser.

Oskooeepour, Alireza | 2009

550 Viewed

Type of Document: M.Sc. Thesis
Language: English
Document No: 39846 (52)
University: Sharif University of Technology, International Campus, Kish Island
Department: Science and Engineering
Advisor(s): Solaiman Fallah, Mehran
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:
Security ; Information Technology ; Triptych Paradigm ; Rigorous Approach to Industrial Software Engineering (RAISE) ; Renderman Shading Language (RSL)

No TOC