دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Principles of Security and Trust: 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
دانلود کتاب اصول امنیت و اعتماد: چهارمین کنفرانس بین المللی ، POST 2015 ، به عنوان بخشی از کنفرانس های مشترک اروپا در مورد تئوری و عملکرد نرم افزار ، ETAPS 2015 ، لندن ، انگلستان ، 11-18 آوریل 2015 ، مجموعه مقالات
مشخصات کتاب
Principles of Security and Trust: 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
ویرایش: 1
نویسندگان: Riccardo Focardi. Andrew Myers (eds.)
سری: Lecture Notes in Computer Science 9036
ISBN (شابک) : 9783662466650, 9783662466667
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2015
تعداد صفحات: 367
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 31,000
در صورت تبدیل فایل کتاب Principles of Security and Trust: 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اصول امنیت و اعتماد: چهارمین کنفرانس بین المللی ، POST 2015 ، به عنوان بخشی از کنفرانس های مشترک اروپا در مورد تئوری و عملکرد نرم افزار ، ETAPS 2015 ، لندن ، انگلستان ، 11-18 آوریل 2015 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اصول امنیت و اعتماد: چهارمین کنفرانس بین المللی ، POST 2015 ، به عنوان بخشی از کنفرانس های مشترک اروپا در مورد تئوری و عملکرد نرم افزار ، ETAPS 2015 ، لندن ، انگلستان ، 11-18 آوریل 2015 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری چهارمین کنفرانس بین المللی اصول امنیت و اعتماد، POST 2015 است که به عنوان بخشی از کنفرانس مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2015، در لندن، انگلستان، در آوریل 2015 برگزار شد. 17 مقاله منظم ارائه شده در این جلد به دقت بررسی و از بین 57 مقاله ارسالی انتخاب شدند. علاوه بر این، یک سخنرانی دعوت شده گنجانده شده است. مقالات در بخش‌های موضوعی در مورد جریان اطلاعات و انواع امنیت، ارزیابی ریسک و سیاست‌های امنیتی، پروتکل‌ها، سخت‌افزار و امنیت فیزیکی و حریم خصوصی و رأی‌گیری سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 4th International Conference on Principles of Security and Trust, POST 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015. The 17 regular papers presented in this volume were carefully reviewed and selected from 57 submissions. In addition, one invited talk is included. The papers have been organized in topical sections on information flow and security types, risk assessment and security policies, protocols, hardware and physical security and privacy and voting.
فهرست مطالب
Front Matter....Pages 1-11
Front Matter....Pages 1-1
Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges....Pages 3-7
Front Matter....Pages 9-9
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control....Pages 11-31
Very Static Enforcement of Dynamic Policies....Pages 32-52
The Foundational Cryptography Framework....Pages 53-72
On the Flow of Data, Information, and Time....Pages 73-92
Front Matter....Pages 93-93
Pareto Efficient Solutions of Attack-Defence Trees....Pages 95-114
Analysis of XACML Policies with SMT....Pages 115-134
Front Matter....Pages 135-135
Automatically Checking Commitment Protocols in ProVerif without False Attacks....Pages 137-155
Generalizing Multi-party Contract Signing....Pages 156-175
Leakiness is Decidable for Well-Founded Protocols....Pages 176-195
Abstractions for Security Protocol Verification....Pages 196-215
Front Matter....Pages 217-217
Automated Backward Analysis of PKCS#11 v2.20....Pages 219-238
A Safe Update Mechanism for Smart Cards....Pages 239-258
Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols....Pages 259-279
Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques....Pages 280-299
Front Matter....Pages 301-301
Type-Based Verification of Electronic Voting Protocols....Pages 303-323
Composing Security Protocols: From Confidentiality to Privacy....Pages 324-343
PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law....Pages 344-363
Back Matter....Pages 365-365
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Modeling and Simulation Based Life-Cycle Engineering
دانلود کتاب Point, Click, Quilt! Turn Your Photos into Fabulous Fabric Art: 16 Projects, Fusible Applique, Thread Sketching & More
دانلود کتاب Die 100 besten Spiele aller Zeiten
دانلود کتاب Debussy e il mistero
