A probabilistic Proof-of-Stake protocol with fast confirmation.
Hanyue DouLingyuan YinYuan LuJing XuPublished in: J. Inf. Secur. Appl. (2022)
Keyphrases
- formal proof
- bayesian networks
- probabilistic model
- cost based abduction
- theorem proving
- probability theory
- coloured petri nets
- lightweight
- probabilistic logic
- conditional probabilities
- context sensitive
- cryptographic protocols
- network protocols
- formal analysis
- file transfer
- probabilistic approaches
- linear logic
- security protocols
- real time
- generative model
- case study