کنترل دسترسی، امنیت و اعتماد: یک رویکرد منطقی – وبلاگ کتابخانه دیجیتال بلیان

Access control, security, and trust : a logical approach

دانلود کتاب Access control, security, and trust : a logical approach (به فارسی: کنترل دسترسی، امنیت و اعتماد: یک رویکرد منطقی) نوشته شده توسط «Older – Susan Beth – Chin – Shiu-Kai»

اطلاعات کتاب کنترل دسترسی، امنیت و اعتماد: یک رویکرد منطقی

موضوع اصلی: کامپیوتر – برنامه نویسی

نوع: کتاب الکترونیکی

ناشر: Chapman & Hall/CRC

نویسنده: Older – Susan Beth – Chin – Shiu-Kai

زبان: english

فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2011

تعداد صفحه: 322 / 348

حجم فایل: 2.69 مگابایت

کد کتاب: 1584888628 , 9781584888628

توضیحات کتاب کنترل دسترسی، امنیت و اعتماد: یک رویکرد منطقی

“برگرفته از دوره های نویسندگان در دانشگاه سیراکیوز و آزمایشگاه تحقیقاتی نیروی هوایی ایالات متحده، کنترل دسترسی، امنیت و اعتماد: یک رویکرد منطقی خوانندگان را با منطق کنترل دسترسی که می توانند برای مشخص کردن و تأیید طرح های امنیتی خود استفاده کنند، مجهز می کند. در سراسر متن. نویسندگان از یک منطق کنترل دسترسی منفرد مبتنی بر منطق ساده گزاره‌ای استفاده می‌کنند.

در بخش اول کتاب، نحو و معنای منطق کنترل دسترسی، مفاهیم اولیه کنترل دسترسی، و مقدمه‌ای بر محرمانگی و محرمانگی ارائه می‌شود. سیاست‌های یکپارچگی بخش دوم کنترل دسترسی در شبکه‌ها، تفویض اختیار، پروتکل‌ها و استفاده از رمزنگاری را پوشش می‌دهد. در بخش سوم، نویسندگان بر روی سخت‌افزار و ماشین‌های مجازی تمرکز می‌کنند. بخش پایانی رازداری، یکپارچگی و کنترل دسترسی مبتنی بر نقش را مورد بحث قرار می‌دهد.

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

“Developed from the authors’ courses at Syracuse University and the U.S. Air Force Research Laboratory, Access Control, Security, and Trust: A Logical Approach equips readers with an access control logic they can use to specify and verify their security designs. Throughout the text, the authors use a single access control logic based on a simple propositional modal logic.

The first part of the book presents the syntax and semantics of access control logic, basic access control concepts, and an introduction to confidentiality and integrity policies. The second section covers access control in networks, delegation, protocols, and the use of cryptography. In the third section, the authors focus on hardware and virtual machines. The final part discusses confidentiality, integrity, and role-based access control.

Taking a logical, rigorous approach to access control, this book shows how logic is a useful tool for analyzing security designs and spelling out the conditions upon which access control decisions depend. It is designed for computer engineers and computer scientists who are responsible for designing, implementing, and verifying secure computer and information systems.”–Pub. desc.

اطلاعات کتاب کنترل دسترسی، امنیت و اعتماد: یک رویکرد منطقی

توضیحات کتاب کنترل دسترسی، امنیت و اعتماد: یک رویکرد منطقی

نوشته های مشابه

دیدگاهتان را بنویسید لغو پاسخ