Computational soundness without protocol restrictions.

Michael Backes Ankit Malik Dominique Unruh

Published in: CCS (2012)

Keyphrases

lightweight
mathematical programming
data sets
databases
neural network
coloured petri nets
case study
digital libraries
low cost
communication protocol