Formal Analysis of an E-Health Protocol.

Naipeng Dong Hugo Jonker Jun Pang

Published in: CoRR (2018)

Keyphrases

formal analysis
ban logic
formal methods
agent model
payment protocol
information systems
wireless networks
privacy enhancing