Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR.

Sreekanth Malladi

Published in: TOSCA (2011)

Keyphrases

formal analysis
data analysis
lightweight
real time
image processing
low cost
database
databases
search engine
computer vision