کتاب اصول طراحی و توسعه نرم افزارهای مطمئن توسط عضو هیأت علمی دانشگاه گیلان تالیف شد.
به گزارش گروه دانشگاه خبرگزاری دانشجو، کتاب «اصول طراحی و توسعه نرم افزارهای مطمئن» تالیف رضا ابراهیمی آتانی، عضو هیات علمی گروه مهندسی کامپیوتر دانشکده فنی و مهران علیدوست نیا، دانش آموخته کارشناسی ارشد مهندسی کامپیوتر دانشگاه گیلان منتشر شد.
کتاب حاضر بر پایه چندین سال مطالعه و تحقیق در حوزه امنیت و اطمینان پذیری در سیستم های کامپیوتری و همچنین چند سال تدریس در سطوح تحصیلات تکمیلی نوشته شده است.