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

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Shaked, A, Melham, T
Format:	Journal article
Sprog:	English
Udgivet:	IEEE 2024

Lignende værker

Abstract: Experience with Practical Formal Verification at an Industrial Scale
af: Melham, T
Udgivet: (2003)

Hardware Verification by Formal Proof
af: Birtwistle, G, et al.
Udgivet: (1988)

Hardware Verification by Formal Proof
af: Birtwistle, G, et al.
Udgivet: (1988)

An AMBA−ARM7 Formal Verification Platform
af: Susanto, K, et al.
Udgivet: (2003)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
af: Melham, T
Udgivet: (1989)

A formal CHERI-C semantics for verification
af: Park, SH, et al.
Udgivet: (2023)

Practical Formal Verification in Microprocessor Design
af: Jones, R, et al.
Udgivet: (2015)

Formal verification of security protocols
af: Mok, Xin Mun
Udgivet: (2022)

End-to-end formal verification of a RISC-V processor extended with capability pointers
af: Gao, D, et al.
Udgivet: (2021)

Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
af: O'Leary, J, et al.
Udgivet: (2013)

Relational STE and theorem proving for formal verification of industrial circuit designs
af: O'Leary, J, et al.
Udgivet: (2013)

An Industrially Effective Environment for Formal Hardware Verification
af: Seger, C, et al.
Udgivet: (2005)

Towards formal verification of cyber security standards
af: Tomas Kulik, et al.
Udgivet: (2018-10-01)

Formal Verification, Engineering and Business Value
af: Ralf Huuck
Udgivet: (2012-12-01)

Securing smart contracts with formal verification and automated program repair
af: Tolmach, Palina
Udgivet: (2023)

A formal specification and verification framework for timed security protocols
af: Li, Li, et al.
Udgivet: (2020)

Formal verification of RFID system using model verification agent
af: Lockman, Muhammad Tarmizi
Udgivet: (2012)

Formal verification of RFID system using model verification agent /
af: Muhammad Tarmizi Lockman, 1981-, et al.
Udgivet: (2012)

Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols
af: Daniel Gerbi Duguma, et al.
Udgivet: (2021-12-01)

Abstraction Mechanisms for Hardware Verification
af: Melham, T
Udgivet: (1990)

Abstraction Mechanisms for Hardware Verification
af: Melham, T
Udgivet: (1988)

Abstraction Mechanisms for Hardware Verification
af: Melham, T
Udgivet: (1987)

Separation microkernel security studies and its formal verification related work
af: Lu, Shengliang
Udgivet: (2016)

Formal specification and security verification of usage control model based on PAT
af: Cong-hua ZHOU, et al.
Udgivet: (2016-03-01)

A formal approach for the verification of the permission-based security model of Android
af: Carlos Luna, et al.
Udgivet: (2018-08-01)

Formal specification and security verification of usage control model based on PAT
af: Cong-hua ZHOU,Wei-he CHEN,Zhi-feng LIU
Udgivet: (2016-03-01)

Fog Computing Over IoT: A Secure Deployment and Formal Verification
af: Samman Zahra, et al.
Udgivet: (2017-01-01)

Applied formal verification /
af: 225698 Perry, Douglas L., et al.
Udgivet: (2005)

Advanced formal verification /
af: Drechsler, Rolf
Udgivet: (2004)

Higher Order Logic and Hardware Verification
af: Melham, T
Udgivet: (1993)

Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols
af: Agnieszka M. Zbrzezny, et al.
Udgivet: (2024-11-01)

A Secure and Resilient Scheme for Telecare Medical Information Systems With Threat Modeling and Formal Verification
af: Shaik Shakeel Ahamad, et al.
Udgivet: (2022-01-01)

Simulator Semantics for System Level Formal Verification
af: Toni Mancini, et al.
Udgivet: (2015-09-01)

Formal Verification of Real-Time System Requirements
af: Marcin Szpyrka
Udgivet: (2000-01-01)

Formal verification of safety-critical hybrid systems
af: Livadas, Carolos
Udgivet: (2008)

Formal Verification of Safety-Critical Hybrid Systems
af: Livadas, Carolos
Udgivet: (2023)

A formal verification approach for composite smart contracts security using FSM
af: Mouhamad Almakhour, et al.
Udgivet: (2023-01-01)

Formal verification of RFID system using model verification agent [electronic resource] /
af: Muhammad Tarmizi Lockman, 1981-
Udgivet: (2012)

Formally Analysed Dynamic Synthesis of Hardware
af: Susanto, K, et al.
Udgivet: (1998)

Formally Analyzed Dynamic Synthesis of Hardware
af: Susanto, K, et al.
Udgivet: (2001)