Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework).

P. H. M. van Spaendonck

Published in: FSEN (2023)

Keyphrases

lightweight
main contribution
probabilistic model
theoretical framework
formal analysis
cryptographic protocols
databases
logical framework