Open AccessDesign and formal verification of a cloud compliant secure logging mechanism
Author(s) -
Sandıkkaya Mehmet Tahir,
Ovatman Tolga,
Harmancı Ali Emre
Publication year - 2016
Publication title -
iet information security
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.308
H-Index - 34
eISSN - 1751-8717
pISSN - 1751-8709
DOI - 10.1049/iet-ifs.2014.0625
Subject(s) - cloud computing , computer science , computer security , logging , protocol (science) , cloud storage , encryption , operating system , medicine , ecology , alternative medicine , pathology , biology
Security concerns are still retarding cloud adoption. While the research community work on clearing these concerns, an optimistic fair cloud compliant logging scheme may ease the cloud to spread. This study proposes a secure logging mechanism. The mechanism employs an online bulletin board as a public write‐only storage for the log records. The bulletin board also acts as a trusted third party during conflict resolution. The secure logging protocol describes how the log records are distributed to the stakeholders. The protocol's security is verified with model checking tools and no security threats could be found.