دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
دانلود کتاب اصول امنیت و اعتماد: سومین کنفرانس بین المللی، POST 2014، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و عملکرد نرم افزار، ETAPS 2014، Grenoble، France، April 5-13، 2014، Proceedings
مشخصات کتاب
Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ویرایش: 1
نویسندگان: Martín Abadi. Steve Kremer (eds.)
سری: Lecture Notes in Computer Science 8414 Security and Cryptology
ISBN (شابک) : 9783642547911, 9783642547928
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2014
تعداد صفحات: 322
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب اصول امنیت و اعتماد: سومین کنفرانس بین المللی، POST 2014، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و عملکرد نرم افزار، ETAPS 2014، Grenoble، France، April 5-13، 2014، Proceedings: سیستم ها و امنیت داده ها، شبکه های ارتباطی کامپیوتری، رمزگذاری داده ها، تجارت الکترونیکی/کسب و کار الکترونیکی، مدیریت محاسبات و سیستم های اطلاعاتی، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اصول امنیت و اعتماد: سومین کنفرانس بین المللی، POST 2014، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و عملکرد نرم افزار، ETAPS 2014، Grenoble، France، April 5-13، 2014، Proceedings نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب اصول امنیت و اعتماد: سومین کنفرانس بین المللی، POST 2014، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و عملکرد نرم افزار، ETAPS 2014، Grenoble، France، April 5-13، 2014، Proceedings
این کتاب مجموعه مقالات داوری سومین کنفرانس بین المللی اصول امنیت و اعتماد، POST 2014 است که به عنوان بخشی از کنفرانس مشترک اروپایی در مورد نظریه و عمل نرم افزار، ETAPS 2014، گرنوبل، فرانسه، در آوریل 2014 برگزار شد. 15 مقاله ارائه شده در این جلد به دقت بررسی و از بین 55 مقاله ارسالی انتخاب شدند. آنها در بخش های موضوعی به نام های: تجزیه و تحلیل پروتکل های رمزنگاری سازماندهی شده اند. جنبه های کمی جریان اطلاعات؛ کنترل جریان اطلاعات در زبان های برنامه نویسی؛ رمزنگاری در پیاده سازی ها و سیاست ها و حملات.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Third International Conference on Principles of Security and Trust, POST 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, in April 2014. The 15 papers presented in this volume were carefully reviewed and selected from 55 submissions. They are organized in topical sections named: analysis of cryptographic protocols; quantitative aspects of information flow; information flow control in programming languages; cryptography in implementations and policies and attacks.
فهرست مطالب
Front Matter....Pages -
A Reduced Semantics for Deciding Trace Equivalence Using Constraint Systems....Pages 1-21
Stateful Applied Pi Calculus....Pages 22-41
Computational Soundness Results for ProVerif....Pages 42-62
A Secure Key Management Interface with Asymmetric Cryptography....Pages 63-82
Abstract Channels and Their Robust Information-Leakage Ordering....Pages 83-102
Quantitative Information Flow in Boolean Programs....Pages 103-119
When Not All Bits Are Equal: Worth-Based Information Flow....Pages 120-139
Leakage Resilience against Concurrent Cache Attacks....Pages 140-158
Information Flow Control in WebKit’s JavaScript Bytecode....Pages 159-178
A Separation Logic for Enforcing Declarative Information Flow Control Policies....Pages 179-198
Defining and Enforcing Referential Security....Pages 199-219
Extending and Applying a Framework for the Cryptographic Verification of Java Programs....Pages 220-239
Compiling CAO: From Cryptographic Specifications to C Implementations....Pages 240-244
Decentralized Composite Access Control....Pages 245-264
Temporal Logics for Hyperproperties....Pages 265-284
Time-Dependent Analysis of Attacks....Pages 285-305
Back Matter....Pages -
