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 |
|---|
| Tóm tắt: | 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. |
|---|