A Verification Model for Electronic Transaction Protocols.

Qingfeng Chen Chengqi Zhang Shichao Zhang

Published in: APWeb (2004)

Keyphrases

experimental data
prior knowledge
probabilistic model
computational model
statistical model
formal model
database
learning algorithm
image segmentation
high level
face recognition
cost function
theoretical analysis
privacy preserving
colored petri nets