مشخصات کتاب

Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security

ویرایش:  
نویسندگان: M. Broy,  W. Sitou and T. Hoare  
سری:  
ISBN (شابک) : 1586039768, 9781441616135 
ناشر: IOS Press 
سال نشر: 2009 
تعداد صفحات: 345 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

در صورت تبدیل فایل کتاب Engineering Methods and Tools for Software Safety and Security - Volume 22 NATO Science for Peace and Security Series - D: Information and Communication Security به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش‌ها و ابزارهای مهندسی برای ایمنی و امنیت نرم‌افزار - جلد 22 سری علوم ناتو برای صلح و امنیت - D: امنیت اطلاعات و ارتباطات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روش‌ها و ابزارهای مهندسی برای ایمنی و امنیت نرم‌افزار - جلد 22 سری علوم ناتو برای صلح و امنیت - D: امنیت اطلاعات و ارتباطات

در نتیجه توزیع گسترده نرم افزار و زیرساخت نرم افزار، امنیت و ایمنی اطلاعات به کیفیت و درک عالی از عملکرد آن بستگی دارد. فقط در صورتی که این عملکرد به عنوان ایمن تضمین شود، مشتری و اطلاعات در برابر حملات متخاصم و نقص محافظت می شوند. بخش وسیعی از تبادل اطلاعات تحت سلطه سیستم های کامپیوتری است. با توجه به اینکه سیستم های فنی کم و بیش با سیستم های نرم افزاری در ارتباط هستند، بیشترین تبادل اطلاعات ارتباط تنگاتنگی با نرم افزار و سیستم های کامپیوتری دارد. ایمنی و امنیت اطلاعات سیستم های نرم افزاری به کیفیت و درک عالی از عملکرد آن بستگی دارد. در چند سال اخیر علاقه مجددی به تعیین و تأیید رسمی نرم افزار و نقش آن در روش های مهندسی نشان داده شده است. در دهه گذشته، تأییدکننده‌های برنامه تعاملی برای کنترل نرم‌افزار و سایر برنامه‌های کاربردی حیاتی استفاده شده‌اند. بررسی مدل نرم افزار پیشرفت هایی را در کاربردهای صنعتی ایجاد کرده است و تعدادی از ابزارهای تحقیقاتی برای تشخیص اشکال با استفاده از فناوری تأیید خودکار برنامه ساخته شده است. چنین راه‌حل‌هایی روش‌های برنامه‌نویسی سطح بالایی هستند که استراتژی‌هایی را برای تضمین امنیت اطلاعات در سیستم‌های نرم‌افزاری پیچیده با صحت تأیید خودکار ارائه می‌دهند. بر اساس نیازهای خاص در کاربردهای فناوری نرم افزار، مدل ها و روش های رسمی باید پاسخگوی نیازها و کیفیت روش های پیشرفته مهندسی نرم افزار باشند. این کتاب ارائه‌ای عمیق از موضوعات پیشرفته در مورد چگونگی رویارویی با چنین چالش‌هایی است که هم مبانی نظری و هم عملکرد صنعتی را پوشش می‌دهد. IOS Press یک ناشر بین‌المللی علمی، فنی و پزشکی کتاب‌های با کیفیت بالا برای دانشگاهیان است. دانشمندان و متخصصان در همه زمینه ها. برخی از حوزه هایی که ما در این زمینه منتشر می کنیم: -زیست پزشکی - سرطان شناسی - هوش مصنوعی - پایگاه های داده و سیستم های اطلاعاتی - مهندسی دریایی - فناوری نانو - مهندسی زمین - همه جنبه های فیزیک - حکومت الکترونیک - تجارت الکترونیک - اقتصاد دانش - مطالعات شهری - کنترل تسلیحات - درک و پاسخ به تروریسم - انفورماتیک پزشکی - علوم کامپیوتر

توضیحاتی درمورد کتاب به خارجی

As a consequence of the wide distribution of software and software infrastructure, information security and safety depend on the quality and excellent understanding of its functioning. Only if this functionality is guaranteed as safe, customer and information are protected against adversarial attacks and malfunction. A vast proportion of information exchange is dominated by computer systems. Due to the fact that technical systems are more or less interfaced with software systems, most information exchange is closely related to software and computer systems. Information safety and security of software systems depend on the quality and excellent understanding of its functioning. The last few years have shown a renewed interest in formally specifying and verifying software and its role in engineering methods. Within the last decade, interactive program verifiers have been applied to control software and other critical applications. Software model checking has made strides into industrial applications and a number of research tools for bug detection have been built using automatic program-verification technology. Such solutions are high-level programming methods which provide strategies to ensure information security in complex software systems by automatically verified correctness. Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides an in-depth presentation of state-of-the-art topics on how to meet such challenges covering both theoretical foundations and industrial practice.IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences

فهرست مطالب

Title page......Page 2
Preface......Page 6
Contents......Page 10
A Mechanical Press Controller Development......Page 12
Synchronous Techniques for Software and Hardware Embedded Systems......Page 54
Relating Time and Causality in Interactive Distributed Systems......Page 86
Incremental Design of Distributed Systems with Event-B......Page 142
Principles of Program Termination - Notes for the Marktoberdorf Summer School......Page 172
Graphical Models of Separation Logic......Page 188
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems......Page 214
Specification and Verification of Object-Oriented Software......Page 242
A Mechanically Checked Proof of the Correctness of the Boyer-Moore Fast String Searching Algorithm......Page 278
An Introduction to Separation Logic......Page 296
Unifying Theories of Undefinedness......Page 322
Subject Index......Page 342
Author Index......Page 344

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Spray Characterization of Ethanol Gasoline Blends and Comparison to a CFD Model for a Gasoline Direct Injector

دانلود کتاب Jesus von Nazareth. Ein Leben

دانلود کتاب Tiroler Alltagsleben im Ersten Weltkrieg

دانلود کتاب Moreschi: The Angel of Rome: And the Voice of the Castrato

دانلود کتاب Shadow Cities: A Billion Squatters, A New Urban World