Validating Integrity for the Ephemerizer's Protocol with CL-Atse.

Charu Arora Mathieu Turuani

Published in: Formal to Practical Security (2009)

Keyphrases

lightweight
integrity constraints
communication protocol
databases
digital libraries
end to end
cryptographic protocols
network protocols
database
multi party
formal analysis
data integrity
security protocols
integrity checking
network simulator