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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Shaked, A, Melham, T
Fformat:	Journal article
Iaith:	English
Cyhoeddwyd:	IEEE 2024

Eitemau Tebyg

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

Hardware Verification by Formal Proof
gan: Birtwistle, G, et al.
Cyhoeddwyd: (1988)

Hardware Verification by Formal Proof
gan: Birtwistle, G, et al.
Cyhoeddwyd: (1988)

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

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

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

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

Formal verification of security protocols
gan: Mok, Xin Mun
Cyhoeddwyd: (2022)

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

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

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

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

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

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

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

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

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

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

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

Abstraction Mechanisms for Hardware Verification
gan: Melham, T
Cyhoeddwyd: (1990)

Abstraction Mechanisms for Hardware Verification
gan: Melham, T
Cyhoeddwyd: (1988)

Abstraction Mechanisms for Hardware Verification
gan: Melham, T
Cyhoeddwyd: (1987)

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

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

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

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

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

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

Advanced formal verification /
gan: Drechsler, Rolf
Cyhoeddwyd: (2004)

Higher Order Logic and Hardware Verification
gan: Melham, T
Cyhoeddwyd: (1993)

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

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

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

Formal Verification of Real-Time System Requirements
gan: Marcin Szpyrka
Cyhoeddwyd: (2000-01-01)

Formal verification of safety-critical hybrid systems
gan: Livadas, Carolos
Cyhoeddwyd: (2008)

Formal Verification of Safety-Critical Hybrid Systems
gan: Livadas, Carolos
Cyhoeddwyd: (2023)

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

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

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

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