در این مقاله یک سیستم چک کردن درستی (یکپارچگی) و بازیابی (ICAR) ارائه شده است ، که وظیفه آن محافظت ازتمامیت فایل سیستم و بازیابی فایل های تغییر یافته به طور خودکار است . این سیستم ما را قادرمی سازد تا با تولید رشته های به صورت هش ، فایل ها را رمزنگاری و سپس راستی آزمایی کنیم و همچنیین یک پیکربندی از محدودیت های امنیتی داشته باشیم . همه اطلاعات مهم، از جمله سیستم ICAR ، فایل های باینری ، پشتیبان گیری فایل و رشته های هش در پایگاه داده به صورت نوشتن محافظت شده از لحاظ فیزیکی ذخیره سازی می شوند، برای از بین بردن تهدید به تغییرغیرمجاز. مکانیسم بافر طراحی واجرا شده دراین سیستم برای افزایش کارایی عملیات. علاوه براین، سیستم ابزارهای برای تولید کد هش های رمزنگاری و مدیریت پایگاه داده های امن (امنیتی) را دارد . این سیستم اجرا شده به عنوان یک گسترش هسته ، که سازگاری دارد با مدل های امنیتی لینوکس . ارزیابی تجربی ازسیستم انجام شد و تقریبا 10٪ تخریب عملکرد در دسترسی به فایل های امن را در مقایسه با دسترسی منظم را نشان داد.
ترجمه فارسی مقاله سال 2013، Operating system security by integrity checking and recovery using write-protected storage