Engineering Methods and Tools for Software Safety and Security (NATO Science for Peace and Security Series D

افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

Information and Communication Security)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.

ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده

Information and Communication Security)

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.

لغو

گزارش تخلف

مغایرت عنوان کتاب با توضیحات و تصویر جلد
عدم رعایت حقوق نشر طبق قوانین جمهوری اسلامی ایران
محتوای مستهجن
توهین به قومیتها و محتوای نژادپرستی
توهین به اقیلیتهای مذهبی
اهانت به مقامات سیاسی و مذهبی
اشاعه ی کودک آزاری
سایر موارد

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2009

نویسنده

Tony Hoare

ناشر

IOS Press

شابک

9781586039769

20,000 تومان

خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

خرید کتاب Engineering Methods and Tools for Software Safety and Security (NATO Science for Peace and Security Series D

Engineering Methods and Tools for Software Safety and Security (NATO Science for Peace and Security Series D

گزارش تخلف

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2009

نویسنده

ناشر

شابک

کتاب های مرتبط

Early Hollywood

Cemeteries of Seattle

Seattle's Green Lake

U.S. Penitentiary Leavenworth

Aubuchon Hardware

9780738574509

Great Sand Dunes National Park

Hot Rodding in Ventura County

San Francisco's Twin Peaks

Paramedic Crash Course with Online Practice Test

Bob Miller's math for the new GRE

The essentials of United States history, 1500 to 1789, from colony to republic

Wheels of Life

Jude's Herbal Home Remedies

Your Neighborhood Gives Me the Creeps

Serpent of Wisdom

Heal Yourself with Angels

Llewellyn's Truth about Chakras

Spirit Boards for Beginners

The Ghost in the Coal Cellar

365 Ways to Attract Good Luck

دیدگاه کاربران