Compositional Analysis of Contract Signing Protocols.

Michael Backes Anupam Datta Ante Derek John C. Mitchell Mathieu Turuani

Published in: CSFW (2005)

Keyphrases

artificial intelligence
computer vision
digital libraries
real time
neural network
information retrieval
learning algorithm
decision trees
medical images
human computer interaction