Зарегистрироваться
Восстановить пароль
FAQ по входу

Grumberg O., Seidl H., Irlbeck M. (eds.) Software Systems Safety

  • Файл формата pdf
  • размером 6,42 МБ
Grumberg O., Seidl H., Irlbeck M. (eds.) Software Systems Safety
New York: IOS Press, 2014. - 104p.
Until quite recently, the correctness and security of software systems was a largely theoretical problem relevant only for a small group of computer specialists. Today it is a fundamental problem for society at large, with security breaches in banking software, malware attacks and bugs in programs affecting millions of people and making the headlines almost daily. The computer science community is developing verification and synthesis tools which will mechanize ever more tasks in the design of secure programs. This book presents the papers delivered at the NATO Advanced Study Institute (ASI) Summer School Marktoberdorf 2013 Software Systems Safety. The participants represented research groups from both industry and academia, and the subjects covered included: software model checking via systematic testing, program synthesis, E voting systems, probabilistic model checking in biology, infinite state model checking, Boolean satisfiability, interactive proof, and software security by information flow control. The Marktoberdorf Summer School is one of the most renowned international computer science summer schools, and this book, with its detailed overview of current research results with special emphasis on the solving of software systems security problems, will be of interest to all those whose work involves systems security.
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
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация