Formal analysis of timeliness in the RaSTA protocol.

Billy Naumann Christine Jakobs Matthias Werner

Published in: FedCSIS (2022)

Keyphrases

formal analysis
ban logic
formal methods
agent model
covert channel
payment protocol
artificial intelligence
black box