دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers
دانلود کتاب امنیت نرم افزار - نظریه ها و سیستم ها: سمپوزیوم بین المللی Mext-NSF-JSPS، ISSS 2002 توکیو، ژاپن، 8 تا 10 نوامبر 2002 مقالات بازنگری شده
مشخصات کتاب
Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Roy Campbell, Jalal Al-Muhtadi, Prasad Naldurg, Geetanjali Sampemane (auth.), Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa (eds.) سری: Lecture Notes in Computer Science 2609 ISBN (شابک) : 3540007083, 9783540007081 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 481 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 59,000
کلمات کلیدی مربوط به کتاب امنیت نرم افزار - نظریه ها و سیستم ها: سمپوزیوم بین المللی Mext-NSF-JSPS، ISSS 2002 توکیو، ژاپن، 8 تا 10 نوامبر 2002 مقالات بازنگری شده: سیستم های عامل، شبکه های ارتباطی کامپیوتری، زبان های برنامه نویسی، کامپایلرها، مترجمان، رمزگذاری داده ها، منطق و معانی برنامه ها، مدیریت سیستم های محاسباتی و اطلاعاتی
در صورت تبدیل فایل کتاب Software Security — Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب امنیت نرم افزار - نظریه ها و سیستم ها: سمپوزیوم بین المللی Mext-NSF-JSPS، ISSS 2002 توکیو، ژاپن، 8 تا 10 نوامبر 2002 مقالات بازنگری شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب امنیت نرم افزار - نظریه ها و سیستم ها: سمپوزیوم بین المللی Mext-NSF-JSPS، ISSS 2002 توکیو، ژاپن، 8 تا 10 نوامبر 2002 مقالات بازنگری شده
برای بیش از سه دهه گذشته، امنیت سیستمهای نرمافزاری یکی از حوزههای مهم علوم رایانه بوده است، با این حال این یک تشخیص کلی نسبتاً جدید است که فناوریهای امنیت نرمافزار به شدت مورد نیاز هستند.
< P> این کتاب با ارائه مجموعه ای از مقالات دعوت شده و بررسی شده اصلاح شده، وضعیت هنر در امنیت نرم افزار و سیستم ها را ارزیابی می کند. جنبه های اساسی و موضوعات اخیراً توسعه یافته مانند امنیت محاسبات فراگیر، سیستم های همتا به همتا و عوامل توزیع شده مستقل، گردش نرم افزار ایمن، کامپایلرها برای زبان C بی خطر، ساخت سیستم های پست امن، سیستم های نوع و سیستم های بازنویسی چند مجموعه ای را پوشش می دهد. برای پروتکل های امنیتی و همچنین مسائل مربوط به حریم خصوصی.توضیحاتی درمورد کتاب به خارجی
For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed.
This book assesses the state of the art in software and systems security by presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well.
فهرست مطالب
Towards Security and Privacy for Pervasive Computing....Pages 1-15
Security for Whom? The Shifting Security Assumptions of Pervasive Computing....Pages 16-27
Active Authentication for Pervasive Computing Environments....Pages 28-41
A Survey of Peer-to-Peer Security Issues....Pages 42-57
Autonomous Nodes and Distributed Mechanisms....Pages 58-83
Privacy in Sensor Webs and Distributed Information Systems....Pages 84-95
Negotiated Privacy....Pages 96-111
SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation....Pages 112-132
Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure Progress Report....Pages 133-153
Types and Effects for Non-interfering Program Monitors....Pages 154-171
Flexible and Efficient Sandboxing Based on Fine-Grained Protection Domains....Pages 172-184
Enforcing Java Run-Time Properties Using Bytecode Rewriting....Pages 185-200
AnZenMail: A Secure and Certified E-mail System....Pages 201-216
Formalization and Verification of a Mail Server in Coq....Pages 217-233
Design and Implementation of Security System Based on Immune System....Pages 234-248
Design and Implementation of Access Control System for Smart Office Environment....Pages 249-262
Typing One-to-One and One-to-Many Correspondences in Security Protocols....Pages 263-282
Proof-Carrying Code with Untrusted Proof Rules....Pages 283-298
Verification of Authentication Protocols Based on the Binding Relation....Pages 299-316
Hiding Names: Private Authentication in the Applied Pi Calculus....Pages 317-338
Environmental Requirements for Authentication Protocols....Pages 339-355
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis....Pages 356-383
Data Access Specification and the Most Powerful Symbolic Attacker in MSR ....Pages 384-416
A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic....Pages 417-440
Formal Analysis of the i KP Electronic Payment Protocols....Pages 441-460
CafeOBJ as a Tool for Behavioral System Verification....Pages 461-470
نظرات کاربران
کتاب های مرتبط
دانلود کتاب The Steenrod Algebra and Its Applications A Conference to Celebrate N.E. Steenrods Sixtieth Birthday
دانلود کتاب Conference on Harmonic Analysis
دانلود کتاب Regulated Agent-Based Social Systems: First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers
دانلود کتاب Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 – 7, 1979
دانلود کتاب Atomic Collisions: A Symposium on Honor of Christopher Bottcher
دانلود کتاب Artificial Life VII: Proceedings of the Seventh International Conference on Artificial Life
دانلود کتاب Logics in Artificial Intelligence: 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings
دانلود کتاب Electrical Insulating Materials: International Issues
دانلود کتاب Encyclopedia Of The United States Congress (Facts on File Library of American History)
