دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers
دانلود کتاب نظریه امنیت و برنامه های کاربردی: کارگاه مشترک ، TOSCA 2011 ، Saarbrücken ، آلمان ، 31 مارس - 1 آوریل 2011 ، نسخه های تجدید نظر شده
مشخصات کتاب
Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers
ویرایش: 1 نویسندگان: Michael Backes, Cătălin Hriţcu, Matteo Maffei (auth.), Sebastian Mödersheim, Catuscia Palamidessi (eds.) سری: Lecture Notes in Computer Science 6993 Security and Cryptology ISBN (شابک) : 9783642273759, 3642273750 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 233 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 37,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب نظریه امنیت و برنامه های کاربردی: کارگاه مشترک ، TOSCA 2011 ، Saarbrücken ، آلمان ، 31 مارس - 1 آوریل 2011 ، نسخه های تجدید نظر شده: رمزگذاری داده ها، شبکه های ارتباطی کامپیوتری، کامپیوتر و جامعه، تحلیل الگوریتم و پیچیدگی مسائل، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه امنیت و برنامه های کاربردی: کارگاه مشترک ، TOSCA 2011 ، Saarbrücken ، آلمان ، 31 مارس - 1 آوریل 2011 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه امنیت و برنامه های کاربردی: کارگاه مشترک ، TOSCA 2011 ، Saarbrücken ، آلمان ، 31 مارس - 1 آوریل 2011 ، نسخه های تجدید نظر شده
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل کارگاه مشترک نظریه امنیت و کاربردها (که قبلاً با نام ARSPA-WITS شناخته می شود)، TOSCA 2011، در زاربروکن، آلمان، در مارس/آوریل 2011 برگزار شد. ETAPS 2011. 9 مقاله کامل اصلاح شده ارائه شده همراه با 3 گفتگوی دعوت شده به دقت بررسی و از 24 مورد ارسالی انتخاب شدند. این مقالات شامل موضوعاتی از جمله روش‌های مختلف در امنیت رایانه، از جمله مشخصات رسمی، تجزیه و تحلیل و طراحی پروتکل‌های امنیتی و کاربردهای آنها، تعریف رسمی جنبه‌های مختلف امنیت مانند مکانیسم‌های کنترل دسترسی، امنیت کد تلفن همراه و حملات انکار سرویس است. ، و مدل سازی جریان اطلاعات و کاربرد آن.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Theory of Security and Applications (formely known as ARSPA-WITS), TOSCA 2011, held in Saarbrücken, Germany, in March/April 2011, in association with ETAPS 2011. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 24 submissions. The papers feature topics including various methods in computer security, including the formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, and the modeling of information flow and its application.
فهرست مطالب
Front Matter....Pages -
Union and Intersection Types for Secure Protocol Implementations....Pages 1-28
Secure Composition of Protocols....Pages 29-32
Constructive Cryptography – A New Paradigm for Security Definitions and Proofs....Pages 33-56
G2C: Cryptographic Protocols from Goal-Driven Specifications....Pages 57-77
Modeling Long-Term Signature Validation for Resolution of Dispute....Pages 78-97
Formal Analysis of Privacy for Anonymous Location Based Services....Pages 98-112
Formal Analysis of the EMV Protocol Suite....Pages 113-129
Security Goals and Protocol Transformations....Pages 130-147
Model-Checking Secure Information Flow for Multi-threaded Programs....Pages 148-165
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus....Pages 166-185
Automated Code Injection Prevention for Web Applications....Pages 186-204
Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR....Pages 205-224
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Top 1000 WordPress Plugins: An Interactive Guide 100 Most Downloaded WordPress Plugins
دانلود کتاب Arbeitslohn und Arbeitszeit in Europa und Amerika 1870–1909
دانلود کتاب Фізичні властивості плівкових матеріалів мікро - і наноелектроніки. У двох частинах. Частина 1
دانلود کتاب Enhancing Evolution: the Ethical Case for Making Better People
