دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
دانلود کتاب استدلال خودکار برای تجزیه و تحلیل پروتکل امنیتی و مسائل موجود در نظریه امنیت: کارگاه مشترک ، ARSPA-WITS 2010 ، پافوس ، قبرس ، 27 تا 28 مارس 2010. مقالات منتخب اصلاح شده
مشخصات کتاب
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
ویرایش: 1 نویسندگان: Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.) سری: Lecture Notes in Computer Science 6186 Security and Cryptology ISBN (شابک) : 9783642160738, 9783642160745 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 192 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب استدلال خودکار برای تجزیه و تحلیل پروتکل امنیتی و مسائل موجود در نظریه امنیت: کارگاه مشترک ، ARSPA-WITS 2010 ، پافوس ، قبرس ، 27 تا 28 مارس 2010. مقالات منتخب اصلاح شده: رمزگذاری داده ها، شبکه های ارتباطی رایانه ای، رایانه ها و جامعه، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استدلال خودکار برای تجزیه و تحلیل پروتکل امنیتی و مسائل موجود در نظریه امنیت: کارگاه مشترک ، ARSPA-WITS 2010 ، پافوس ، قبرس ، 27 تا 28 مارس 2010. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استدلال خودکار برای تجزیه و تحلیل پروتکل امنیتی و مسائل موجود در نظریه امنیت: کارگاه مشترک ، ARSPA-WITS 2010 ، پافوس ، قبرس ، 27 تا 28 مارس 2010. مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات کارگاه مشترک استدلال خودکار برای تحلیل پروتکل امنیتی و مسائل مربوط به نظریه امنیت است که در مارس 2010 در پافوس، قبرس برگزار شد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.
فهرست مطالب
Front Matter....Pages -
The CaPiTo Approach to Protocol Validation....Pages 1-1
Reasoning about Probabilistic Security Using Task-PIOAs....Pages 2-22
Secrecy and Authenticity Types for Secure Distributed Messaging....Pages 23-40
Modular Plans for Secure Service Composition....Pages 41-58
A Type System for Access Control Views in Object-Oriented Languages....Pages 59-76
Formal Analysis of Key Integrity in PKCS#11....Pages 77-94
Secure Upgrade of Hardware Security Modules in Bank Networks....Pages 95-110
Interactive Information Flow....Pages 111-111
Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain....Pages 112-129
Match It or Die: Proving Integrity by Equality....Pages 130-145
Towards Automatic Analysis of Election Verifiability Properties....Pages 146-163
AnBx - Security Protocols Design and Verification....Pages 164-184
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Women’s Sexual Development: Explorations of Inner Space
دانلود کتاب Sports nutrition needs for child and adolescent athletes
دانلود کتاب Psychoanalytische Praxis und Theoriebildung: Verstehen und Begreifen: Eine erkenntniskritische Untersuchung
دانلود کتاب Russia and the Dutch Republic, 1566–1725: A Forgotten Friendship
