دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundations and Practice of Security: 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
دانلود کتاب مبانی و عملکرد امنیت: چهارمین کارگاه آموزشی MITACS در کانادا ، فرانسه ، FPS 2011 ، پاریس ، فرانسه ، 12-13 مه ، 2011 ، مقالات اصلاح شده
مشخصات کتاب
Foundations and Practice of Security: 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers
ویرایش: 1 نویسندگان: Fatemeh Raji, Ali Miri, Mohammad Davarpanah Jazi (auth.), Joaquin Garcia-Alfaro, Pascal Lafourcade (eds.) سری: Lecture Notes in Computer Science 6888 Security and Cryptology ISBN (شابک) : 9783642279010, 3642279015 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 263 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب مبانی و عملکرد امنیت: چهارمین کارگاه آموزشی MITACS در کانادا ، فرانسه ، FPS 2011 ، پاریس ، فرانسه ، 12-13 مه ، 2011 ، مقالات اصلاح شده: رمزگذاری داده ها، مهندسی نرم افزار، مدیریت سیستم های محاسباتی و اطلاعاتی، شبکه های ارتباطی کامپیوتری، تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Foundations and Practice of Security: 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی و عملکرد امنیت: چهارمین کارگاه آموزشی MITACS در کانادا ، فرانسه ، FPS 2011 ، پاریس ، فرانسه ، 12-13 مه ، 2011 ، مقالات اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی و عملکرد امنیت: چهارمین کارگاه آموزشی MITACS در کانادا ، فرانسه ، FPS 2011 ، پاریس ، فرانسه ، 12-13 مه ، 2011 ، مقالات اصلاح شده
این کتاب مقالات منتخب چهارمین کارگاه آموزشی MITACS کانادا-فرانسه در زمینه مبانی و تمرین امنیت، FPS 2011، که در پاریس، فرانسه، در ماه مه 2011 در پاریس، فرانسه برگزار شد، با دقت داوری و بازبینی شده تشکیل شده است. این کتاب حاوی نسخه اصلاح شده است. شامل 10 مقاله کامل، همراه با 3 سخنرانی کلیدی، 2 مقاله کوتاه، و 5 گزارش تحقیقاتی در حال انجام. مقالات به دقت بررسی و از بین 30 مقاله ارسالی انتخاب شدند. موضوعات تحت پوشش امنیت فراگیر و رمزنگاری آستانه است. رمزگذاری، تحلیل رمز و تأیید خودکار؛ و روش های رسمی در امنیت شبکه.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France MITACS Workshop on Foundations and Practice of Security, FPS 2011, held in Paris, France, in May 2011. The book contains a revised version of 10 full papers, accompanied by 3 keynote addresses, 2 short papers, and 5 ongoing research reports. The papers were carefully reviewed and selected from 30 submissions. The topics covered are pervasive security and threshold cryptography; encryption, cryptanalysis and automatic verification; and formal methods in network security.
فهرست مطالب
Front Matter....Pages -
Preserving Privacy in Online Social Networks....Pages 1-13
TTP SmartCard-Based ElGamal Cryptosystem Using Threshold Scheme for Electronic Elections....Pages 14-22
Automated Verification of Block Cipher Modes of Operation, an Improved Method....Pages 23-31
SC 2 : Secure Communication over Smart Cards....Pages 32-48
Private Identification of RFID Tags....Pages 49-61
Threshold Encryption into Multiple Ciphertexts....Pages 62-72
A Novel Commutative Blinding Identity Based Encryption Scheme....Pages 73-89
A Related-Key Attack on Block Ciphers with Weak Recurrent Key Schedules....Pages 90-101
A Computational Indistinguishability Logic for the Bounded Storage Model....Pages 102-117
Preventing the Cluster Formation Attack against the Hierarchical OLSR Protocol....Pages 118-131
Secret Key Establishment over Noisy Channels....Pages 132-147
Formal Specification and Validation of Security Policies....Pages 148-163
Vote-Independence: A Powerful Privacy Notion for Voting Protocols....Pages 164-180
Black-Box Property of Cryptographic Hash Functions....Pages 181-193
Phishing Detection with Popular Search Engines: Simple and Effective....Pages 194-207
A Contextual Privacy-Aware Access Control Model for Network Monitoring Workflows: Work in Progress....Pages 208-217
A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress....Pages 218-226
Specification and Verification of Access Control Policies in EB 3 SEC: Work in Progress....Pages 227-233
A Metamodel of the B Modeling of Access-Control Policies: Work in Progress....Pages 234-241
Formal Verification of a Key Establishment Protocol for EPC Gen2 RFID Systems: Work in Progress....Pages 242-251
Back Matter....Pages -
