A Model for Securing Islamic Websites: Formal Specification Paradigm: IT Research Center for the Holy Quran and Its Sciences (NOOR), Taibah University, Madinah, Saudi Arabia

The number of reported incidents pertaining to websites attacks has been significantly increased. Websites which provides Islamic contents are no exception. Previously a general architecture of security protocol for websites authentication and content integrity has been planned, introduced and proposed. This paper presents a universal and inclusive specification for the proposed architecture using methodical, criterion, and formal security annotation and syntax. The main aim of such formal design is to describe and examine the associated steps, features and behavior of the proposed security protocol in a systematic manner. The prescribed design covers the entire actions and functionality among the main five participating entities namely Content Provider (website owner), Judge, Water-mark Service Provider, Registration Authority and Layman User. Furthermore, the importance of such idiomatic specification is stemming from the possibility and opportunity of ensuring the correctness of the proposed model, as well as it can be easily used to develop and appraise the associated implementation.