Logics and Languages for Reliability and Security
Software-intensive systems are today an integral part of many everyday products. Whilst they provide great benefits in terms of ease of use and allow for new applications, they also impose enormous responsibilities. It is vital to ensure that such applications work correctly and that any data they u...
Đã lưu trong:
Những tác giả chính: | , , |
---|---|
Định dạng: | Sách |
Ngôn ngữ: | English |
Được phát hành: |
IOS Press
2013
|
Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35607 |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
---|
id |
oai:scholar.dlu.edu.vn:DLU123456789-35607 |
---|---|
record_format |
dspace |
spelling |
oai:scholar.dlu.edu.vn:DLU123456789-356072014-01-19T23:43:25Z Logics and Languages for Reliability and Security Esparza, Javier Spanfelner, Bernd Grumberg, Orna Software-intensive systems are today an integral part of many everyday products. Whilst they provide great benefits in terms of ease of use and allow for new applications, they also impose enormous responsibilities. It is vital to ensure that such applications work correctly and that any data they use remains secure. Increasing the reliability of such systems is an important and challenging research topic in current computer science. This volume presents a number of papers which formed the basis for lectures at the 2009 summer school Formal Logical Methods for System Security and Correctness. The topics include: program analysis and verification by abstract interpretation, principles and applications of refinement types, multi-valued automata and their applications, mechanized semantics with applications to program proof and compiler verification and using security policies to write secure software, among others. This book delivers an interesting and valuable overview of state-of-the-art in logic- and language-based solutions to system reliability and security to anyone concerned with the correct functioning of software systems. 2013-09-23T07:57:26Z 2013-09-23T07:57:26Z 2010 Book 978-1-60750-100-8 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35607 en application/pdf IOS Press |
institution |
Thư viện Trường Đại học Đà Lạt |
collection |
Thư viện số |
language |
English |
description |
Software-intensive systems are today an integral part of many everyday products. Whilst they provide great benefits in terms of ease of use and allow for new applications, they also impose enormous responsibilities. It is vital to ensure that such applications work correctly and that any data they use remains secure. Increasing the reliability of such systems is an important and challenging research topic in current computer science. This volume presents a number of papers which formed the basis for lectures at the 2009 summer school Formal Logical Methods for System Security and Correctness. The topics include: program analysis and verification by abstract interpretation, principles and applications of refinement types, multi-valued automata and their applications, mechanized semantics with applications to program proof and compiler verification and using security policies to write secure software, among others. This book delivers an interesting and valuable overview of state-of-the-art in logic- and language-based solutions to system reliability and security to anyone concerned with the correct functioning of software systems. |
format |
Book |
author |
Esparza, Javier Spanfelner, Bernd Grumberg, Orna |
spellingShingle |
Esparza, Javier Spanfelner, Bernd Grumberg, Orna Logics and Languages for Reliability and Security |
author_facet |
Esparza, Javier Spanfelner, Bernd Grumberg, Orna |
author_sort |
Esparza, Javier |
title |
Logics and Languages for Reliability and Security |
title_short |
Logics and Languages for Reliability and Security |
title_full |
Logics and Languages for Reliability and Security |
title_fullStr |
Logics and Languages for Reliability and Security |
title_full_unstemmed |
Logics and Languages for Reliability and Security |
title_sort |
logics and languages for reliability and security |
publisher |
IOS Press |
publishDate |
2013 |
url |
http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35607 |
_version_ |
1757667351848812544 |