دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
دانلود کتاب اصول امنیت و اعتماد: پنجمین کنفرانس بین المللی، POST 2016، به عنوان بخشی از همایش های مشترک اروپا در زمینه نظریه و نرم افزار نرم افزار، ETAPS 2016، ایدووئن، هلند، آوریل 2-8، 2016، پرونده ها
مشخصات کتاب
Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
ویرایش: 1
نویسندگان: Frank Piessens. Luca Viganò (eds.)
سری: Lecture Notes in Computer Science 9635
ISBN (شابک) : 9783662496343, 9783662496350
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2016
تعداد صفحات: 282
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب اصول امنیت و اعتماد: پنجمین کنفرانس بین المللی، POST 2016، به عنوان بخشی از همایش های مشترک اروپا در زمینه نظریه و نرم افزار نرم افزار، ETAPS 2016، ایدووئن، هلند، آوریل 2-8، 2016، پرونده ها: امنیت سیستم ها و داده ها، شبکه های ارتباطی کامپیوتری، رمزگذاری داده ها، مدیریت سیستم های محاسباتی و اطلاعاتی، کامپیوتر و جامعه، تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اصول امنیت و اعتماد: پنجمین کنفرانس بین المللی، POST 2016، به عنوان بخشی از همایش های مشترک اروپا در زمینه نظریه و نرم افزار نرم افزار، ETAPS 2016، ایدووئن، هلند، آوریل 2-8، 2016، پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اصول امنیت و اعتماد: پنجمین کنفرانس بین المللی، POST 2016، به عنوان بخشی از همایش های مشترک اروپا در زمینه نظریه و نرم افزار نرم افزار، ETAPS 2016، ایدووئن، هلند، آوریل 2-8، 2016، پرونده ها
این کتاب مجموعه مقالات پنجمین کنفرانس بین المللی اصول امنیت و
اعتماد، POST 2016 است که در آوریل 2016 در آیندهوون، هلند، به
عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و
Practice of Software, ETAPS 2016.
12 مقاله کامل ارائه شده در این جلد به دقت بررسی و از بین 35
مورد ارسالی انتخاب شدند. آنها در بخش های موضوعی به نام های:
جریان اطلاعات سازماندهی شدند. مدل ها و برنامه های کاربردی؛
پروتکل ها
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 5th
International Conference on Principles of Security and Trust,
POST 2016, which took place in Eindhoven, The Netherlands, in
April 2016, held as Part of the European Joint Conferences on
Theory and Practice of Software, ETAPS 2016.
The 12 full papers presented in this volume were carefully
reviewed and selected from 35 submissions. They were
organized in topical sections named: information flow; models
and applications; protocols.
فهرست مطالب
Front Matter....Pages I-X
Front Matter....Pages 1-1
Faceted Dynamic Information Flow via Control and Data Monads....Pages 3-23
Asymmetric Secure Multi-execution with Declassification....Pages 24-45
A Taxonomy of Information Flow Monitors....Pages 46-67
On Improvements of Low-Deterministic Security....Pages 68-88
Tool Demonstration: JOANA....Pages 89-93
Front Matter....Pages 95-95
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study....Pages 97-115
Towards a Comprehensive Model of Isolation for Mitigating Illicit Channels....Pages 116-138
Correct Audit Logging: Theory and Practice....Pages 139-162
The Value of Attack-Defence Diagrams....Pages 163-185
Front Matter....Pages 187-187
Composing Protocols with Randomized Actions....Pages 189-210
Bounding the Number of Agents, for Equivalence Too....Pages 211-232
AIF- \(\omega \) : Set-Based Protocol Abstraction with Countable Families....Pages 233-253
Computational Soundness Results for Stateful Applied \(\pi \) Calculus....Pages 254-275
Back Matter....Pages 277-277
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Neurobiology of Acupuncture
دانلود کتاب A New Dimension in Wool Appliqué - Baltimore Album Style: Visual Guide - Unique Embroidery
دانلود کتاب Encounters with the Hidden Imam in Early and Pre-Modern Twelver Shīʿī Islam
