A dexptime-Complete Dolev-Yao Theory with Distributive Encryption.

Anguraj Baskar Ramaswamy Ramanujam S. P. Suresh

Published in: MFCS (2010)

Keyphrases

general theory
theoretical basis
real time
machine learning
computer vision
computational model
multiscale
theoretical framework
boolean algebra