Refinement-Based Verification of Device-to-Device Information Flow.

Ning Dong Roberto Guanciale Mads Dam

Published in: FMCAD (2021)

Keyphrases

information flow
flow analysis
information flows
communication networks
information systems
multi agent
mobile devices
query processing