Software Safety and Security: Tools for Analysis and Verification
Over the last decade, we have seen amazing advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. Full functio...
Đã 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
2014
|
| Những chủ đề: | |
| Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36174 |
| 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-36174 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-361742014-01-19T22:22:48Z Software Safety and Security: Tools for Analysis and Verification Nipkow, Tobias Grumberg, Orna Hauptmann, Benedikt Security Software Over the last decade, we have seen amazing advances in methods and tools for checking the safety and security of software systems. Automatic tools can now detect security flaws not only in programs of the order of a million lines of code, but also in high-level protocol descriptions. Full functional correctness is more difficult, but we have also seen much progress here, for example in the area of operating system verification, where only last year an OS kernel of 10,000 lines was proved correct; something of a breakthrough. The Summer School Marktoberdorf 2011 showed the wide range of computer science, with its foundations, methods and tools, to present the state-of-the-art in research and scientific practice of this challenging, future-oriented and key-topic in computer science. We assembled leading international experts who presented their in-depth knowledge and their experience in the overarching subject matter. 2014-01-06T07:24:06Z 2014-01-06T07:24:06Z 2012 Book 978-1-61499-027-7 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36174 en application/pdf IOS Press |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
English |
| topic |
Security Software |
| spellingShingle |
Security Software Nipkow, Tobias Grumberg, Orna Hauptmann, Benedikt Software Safety and Security: Tools for Analysis and Verification |
| description |
Over the last decade, we have seen amazing advances in methods and tools for
checking the safety and security of software systems. Automatic tools can now detect
security flaws not only in programs of the order of a million lines of code, but also in
high-level protocol descriptions. Full functional correctness is more difficult, but we
have also seen much progress here, for example in the area of operating system
verification, where only last year an OS kernel of 10,000 lines was proved correct;
something of a breakthrough. The Summer School Marktoberdorf 2011 showed the
wide range of computer science, with its foundations, methods and tools, to present the
state-of-the-art in research and scientific practice of this challenging, future-oriented
and key-topic in computer science. We assembled leading international experts who
presented their in-depth knowledge and their experience in the overarching subject
matter. |
| format |
Book |
| author |
Nipkow, Tobias Grumberg, Orna Hauptmann, Benedikt |
| author_facet |
Nipkow, Tobias Grumberg, Orna Hauptmann, Benedikt |
| author_sort |
Nipkow, Tobias |
| title |
Software Safety and Security:
Tools for Analysis and Verification |
| title_short |
Software Safety and Security:
Tools for Analysis and Verification |
| title_full |
Software Safety and Security:
Tools for Analysis and Verification |
| title_fullStr |
Software Safety and Security:
Tools for Analysis and Verification |
| title_full_unstemmed |
Software Safety and Security:
Tools for Analysis and Verification |
| title_sort |
software safety and security:
tools for analysis and verification |
| publisher |
IOS Press |
| publishDate |
2014 |
| url |
http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/36174 |
| _version_ |
1757678485632974848 |