دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations of Security Analysis and Design: Tutorial Lectures
دانلود کتاب مبانی تحلیل و طراحی امنیت: سخنرانی های آموزشی
مشخصات کتاب
Foundations of Security Analysis and Design: Tutorial Lectures
ویرایش: [1 ed.] نویسندگان: Peter Y. A. Ryan (auth.), Riccardo Focardi, Roberto Gorrieri (eds.) سری: Lecture Notes in Computer Science 2171 ISBN (شابک) : 3540428968, 9783540428961 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 405 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 30,000
در صورت تبدیل فایل کتاب Foundations of Security Analysis and Design: Tutorial Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی تحلیل و طراحی امنیت: سخنرانی های آموزشی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی تحلیل و طراحی امنیت: سخنرانی های آموزشی
امنیت یک حوزه به سرعت در حال رشد از علوم کامپیوتر است، با ارتباط مستقیم و فزاینده با برنامه های کاربردی واقعی مانند تراکنش های اینترنتی، تجارت الکترونیک، حفاظت از اطلاعات، یکپارچگی شبکه و سیستم ها، و غیره. در طول مدرسه بین المللی IFIP WG 1.7 در زمینه مبانی تحلیل و طراحی امنیتی، FOSAD 2000، که در برتینورو، ایتالیا در سپتامبر برگزار شد. مدل های ریاضی امنیت کامپیوتر (پیتر ی. ای. رایان)؛ منطق پروتکل های احراز هویت (پل سیورسن و ایلیانو سروساتو)؛ کنترل دسترسی: سیاست‌ها، مدل‌ها و مکانیسم‌ها (Pierangela Samarati و Sabrina de Capitani di Vimercati). اهداف امنیتی: مسیرهای بسته و فضاهای رشته (جاشوا دی. گاتمن)؛ یادداشت هایی در مورد محاسبات اسمی برای امنیت و تحرک (اندرو دی. گوردون)؛ طبقه بندی ویژگی های امنیتی (ریکاردو فوکاردی و روبرتو گوریری).
توضیحاتی درمورد کتاب به خارجی
Security is a rapidly growing area of computer science, with direct and increasing relevance to real life applications such as Internet transactions, electronic commerce, information protection, network and systems integrity, etc. This volume presents thoroughly revised versions of lectures given by leading security researchers during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, held in Bertinoro, Italy in September. Mathematical Models of Computer Security (Peter Y.A. Ryan); The Logic of Authentication Protocols (Paul Syversen and Iliano Cervesato); Access Control: Policies, Models, and Mechanisms (Pierangela Samarati and Sabrina de Capitani di Vimercati); Security Goals: Packet Trajectories and Strand Spaces (Joshua D. Guttman); Notes on Nominal Calculi for Security and Mobility (Andrew D. Gordon); Classification of Security Properties (Riccardo Focardi and Roberto Gorrieri).
فهرست مطالب
Mathematical Models of Computer Security....Pages 1-62
The Logic of Authentication Protocols....Pages 63-137
Access Control: Policies, Models, and Mechanisms....Pages 137-196
Security Goals: Packet Trajectories and Strand Spaces....Pages 197-261
Notes on Nominal Calculi for Security and Mobility....Pages 262-330
Classification of Security Properties....Pages 331-396
نظرات کاربران
کتاب های تصادفی
دانلود کتاب A Journey Into Yin Yoga
دانلود کتاب Physics For Entertainment Volume 2
