Contextualizing formal verification for systems security engineering

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...

Полное описание

Библиографические подробности
Главные авторы:	Shaked, A, Melham, T
Формат:	Journal article
Язык:	English
Опубликовано:	IEEE 2024

Схожие документы

Abstract: Experience with Practical Formal Verification at an Industrial Scale
по: Melham, T
Опубликовано: (2003)

Hardware Verification by Formal Proof
по: Birtwistle, G, и др.
Опубликовано: (1988)

Hardware Verification by Formal Proof
по: Birtwistle, G, и др.
Опубликовано: (1988)

An AMBA−ARM7 Formal Verification Platform
по: Susanto, K, и др.
Опубликовано: (2003)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
по: Melham, T
Опубликовано: (1989)

A formal CHERI-C semantics for verification
по: Park, SH, и др.
Опубликовано: (2023)

Practical Formal Verification in Microprocessor Design
по: Jones, R, и др.
Опубликовано: (2015)

Formal verification of security protocols
по: Mok, Xin Mun
Опубликовано: (2022)

End-to-end formal verification of a RISC-V processor extended with capability pointers
по: Gao, D, и др.
Опубликовано: (2021)

Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
по: O'Leary, J, и др.
Опубликовано: (2013)

Relational STE and theorem proving for formal verification of industrial circuit designs
по: O'Leary, J, и др.
Опубликовано: (2013)

An Industrially Effective Environment for Formal Hardware Verification
по: Seger, C, и др.
Опубликовано: (2005)

Towards formal verification of cyber security standards
по: Tomas Kulik, и др.
Опубликовано: (2018-10-01)

Formal Verification, Engineering and Business Value
по: Ralf Huuck
Опубликовано: (2012-12-01)

Securing smart contracts with formal verification and automated program repair
по: Tolmach, Palina
Опубликовано: (2023)

A formal specification and verification framework for timed security protocols
по: Li, Li, и др.
Опубликовано: (2020)

Formal verification of RFID system using model verification agent
по: Lockman, Muhammad Tarmizi
Опубликовано: (2012)

Formal verification of RFID system using model verification agent /
по: Muhammad Tarmizi Lockman, 1981-, и др.
Опубликовано: (2012)

Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols
по: Daniel Gerbi Duguma, и др.
Опубликовано: (2021-12-01)

Abstraction Mechanisms for Hardware Verification
по: Melham, T
Опубликовано: (1990)

Abstraction Mechanisms for Hardware Verification
по: Melham, T
Опубликовано: (1988)

Abstraction Mechanisms for Hardware Verification
по: Melham, T
Опубликовано: (1987)

Separation microkernel security studies and its formal verification related work
по: Lu, Shengliang
Опубликовано: (2016)

Formal specification and security verification of usage control model based on PAT
по: Cong-hua ZHOU, и др.
Опубликовано: (2016-03-01)

A formal approach for the verification of the permission-based security model of Android
по: Carlos Luna, и др.
Опубликовано: (2018-08-01)

Formal specification and security verification of usage control model based on PAT
по: Cong-hua ZHOU,Wei-he CHEN,Zhi-feng LIU
Опубликовано: (2016-03-01)

Fog Computing Over IoT: A Secure Deployment and Formal Verification
по: Samman Zahra, и др.
Опубликовано: (2017-01-01)

Applied formal verification /
по: 225698 Perry, Douglas L., и др.
Опубликовано: (2005)

Advanced formal verification /
по: Drechsler, Rolf
Опубликовано: (2004)

Higher Order Logic and Hardware Verification
по: Melham, T
Опубликовано: (1993)

Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols
по: Agnieszka M. Zbrzezny, и др.
Опубликовано: (2024-11-01)

A Secure and Resilient Scheme for Telecare Medical Information Systems With Threat Modeling and Formal Verification
по: Shaik Shakeel Ahamad, и др.
Опубликовано: (2022-01-01)

Simulator Semantics for System Level Formal Verification
по: Toni Mancini, и др.
Опубликовано: (2015-09-01)

Formal Verification of Real-Time System Requirements
по: Marcin Szpyrka
Опубликовано: (2000-01-01)

Formal verification of safety-critical hybrid systems
по: Livadas, Carolos
Опубликовано: (2008)

Formal Verification of Safety-Critical Hybrid Systems
по: Livadas, Carolos
Опубликовано: (2023)

A formal verification approach for composite smart contracts security using FSM
по: Mouhamad Almakhour, и др.
Опубликовано: (2023-01-01)

Formal verification of RFID system using model verification agent [electronic resource] /
по: Muhammad Tarmizi Lockman, 1981-
Опубликовано: (2012)

Formally Analysed Dynamic Synthesis of Hardware
по: Susanto, K, и др.
Опубликовано: (1998)

Formally Analyzed Dynamic Synthesis of Hardware
по: Susanto, K, и др.
Опубликовано: (2001)