Primitives for authentication in process algebras.

Chiara Bodei Pierpaolo Degano Riccardo Focardi Corrado Priami

Published in: Theor. Comput. Sci. (2002)

Keyphrases

data sets
genetic algorithm
computer vision
data model
digital images
process model