Introducing Distributed Ledger Security into System Specifications with the Isabelle RR-Cycle
Attributed to:
SUCCESS -- SecUre aCCESSibility for the internet of things
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-54129-2_19
Publication URI: http://dx.doi.org/10.1007/978-3-031-54129-2_19
Type: Book Chapter
Book Title: Computer Security. ESORICS 2023 International Workshops - CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II (2024)
Page Reference: 330-340