Introducing Distributed Ledger Security into System Specifications with the Isabelle RR-Cycle.
Florian KammüllerPublished in: ESORICS Workshops (2) (2023)
Keyphrases
- functional requirements
- distributed systems
- network security
- access control
- fault tolerant
- information systems
- security policies
- computer networks
- information security
- multi agent
- distributed multimedia
- security requirements
- computer security
- control flow
- highly distributed
- data mining
- security level
- single point of failure
- data security
- signature scheme
- communication cost
- theorem prover
- high level