|
|
libcats.org
Software Systems Reliability and SecurityM. Broy, M Broy, T. Hoare, J. GrunbauerThe foundations of software technology provide models that enable us to capture application domains and their requirements, but also to understand the structure and working of software systems, software architectures and programs. New developments must pay due diligence to the importance of security-related aspects, and align current methods and techniques to information security, integrity, and system reliability. However, 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, especially taking into account security aspects in Information Technology. As a consequence of the wide distribution of software and software infrastructure, information security depends on the quality and excellent understanding of its functioning. Only when this functionality is guaranteed as safe, customers and information are protected against adversarial attacks. Thus, to make communication and computation secure against catastrophic failure and malicious interference, it is essential to build secure software systems and methods for their development. Such development is difficult, mainly because of the conflict between development costs and verifiable correctness. The articles in this book describe the state-of-the-art ideas on how to meet these challenges in software engineering.
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 EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Поцелуй тьмыАвтор: Шоуолтер ДженаКатегория: Исторические любовные романы, Фэнтези
Размер книги: 782 Kb
Global Environmental Change and Human SecurityАвтор: Richard A. Matthew, Автор: Jon Barnett, Автор: Bryan McDonald, Автор: Karen L. O'Brien, Автор: Geoffrey D. Dabelko
Размер книги: 1.27 Mb
Evolution of the backpacker market and the potential for Australian tourismАвтор: Philip L. Pearce, Автор: Laurie Murphy, Автор: Eric Brymer.
Размер книги: 3.54 Mb
Bioinformatics: From Genomes to DrugsАвтор: Thomas Lengauer, Автор: Raimund Mannhold, Автор: Hugo Kubinyi, Автор: Hendrik Timmerman
Размер книги: 7.67 Mb
Dialogues with God (Epub & Mobi)Автор: Frances J RobertsКатегория: Christian
Размер книги: 2.31 Mb
Boost Your Interview IQ, Second EditionАвтор: MartinКатегория: Job searching
Размер книги: 25.16 Mb
The Unwritten Rules of the Highly Effective Job SearchАвтор: PiersonКатегория: Job searching
Размер книги: 28.84 Mb
Josiah's Fire: Autism Stole His Words, God Gave Him a Voice (Azw, Epub, Mobi & PDF)Автор: Tahni Cullen, Автор: Cheryl RickerКатегория: Christian
Размер книги: 10.33 Mb
|
|
|