Automatically verifying STRAC policy.

Yunchuan Guo Lihua Yin Li Chao

Published in: INFOCOM Workshops (2014)

Keyphrases

automatically generated
learning environment
management system
model checking
asymptotically optimal
database
real time
databases
social networks
artificial neural networks
dynamic programming
optimal policy