Variable Permissions for Concurrency Verification.

Duy-Khanh Le Wei-Ngan Chin Yong Meng Teo

Published in: ICFEM (2012)

Keyphrases

access control
concurrency control
database systems
data flow
signature verification
person identification
real time
databases
social networks
model checking
face verification
formal verification
false acceptance rate
functional verification