Software Systems Safety

Name: Software Systems Safety
Author: O. Grumberg

Auteur: O. Grumberg

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: O. Grumberg

Engels
Hardcover
9781614993841
01 mei 2014
381 pagina's

Alle productspecificaties

Samenvatting

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 u 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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Hardcover
Oorspronkelijke releasedatum: 01 mei 2014
Aantal pagina's: 381
Illustraties: Nee

Betrokkenen

Hoofdauteur: O. Grumberg
Hoofdredacteur: O. Grumberg
Tweede Redacteur: H. Seidl
Co Redacteur: M. Irlbeck
Hoofduitgeverij: Ios Press

Overige kenmerken

Extra groot lettertype: Nee
Product breedte: 171 mm
Product hoogte: 32 mm
Product lengte: 248 mm
Studieboek: Ja
Verpakking breedte: 171 mm
Verpakking hoogte: 32 mm
Verpakking lengte: 248 mm
Verpakkingsgewicht: 839 g

EAN

EAN: 9781614993841

Je vindt dit artikel in

Categorieën: Computers & Informatica

Computertechnologie

Boeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.