Contextualizing formal verification for systems security engineering

While formal methods are recognized as means to establish the trustworthiness of systems, their practical adoption for verifying system-level security is limited. By reflecting on system development approaches, we identify and exemplify pertinent challenges and suggest directions to facilitate the e...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Shaked, A, Melham, T
Định dạng: Journal article
Ngôn ngữ:English
Được phát hành: IEEE 2024