Bisimulations in the Boxed Safe Ambients with Password.

Hua Jiang Xinxing Tan

Published in: ITNG (2009)

Keyphrases

information security
data sets
real time
computer vision
knowledge base
user authentication
keystroke dynamics