Logics and Languages for Reliability and Security (NATO Science for Peace and Security Series D: Information and Communication Security) - Tapa dura

Reseña del editor

This book presents papers which formed the basis for lectures at the 30th International Summer School at Marktoberdorf, held August 2009, which was an Advanced Study Institute of the NATO Science for Peace and Security Program. Each chapter includes an abstract and introduction, and some include exercises and web links. The book offers an overview of logic- and language-based solutions to system reliability and security. Some specific topics include formal verification of computer systems by abstract interpretation, Newtonian program analysis, principles and applications of refinement types, modal fixed point logics, and implicit flows in malicious and nonmalicious code. Esparza is affiliated with the Technical University of Munich, Germany. Annotation ©2010 Book News, Inc., Portland, OR (booknews.com)