Login / Signup
Formal modeling and automatic enforcement of Bring Your Own Device policies.
Alessandro Armando
Gabriele Costa
Alessio Merlo
Luca Verderame
Published in:
Int. J. Inf. Sec. (2015)
Keyphrases
</>
neural network
data driven
data sets
database
information retrieval
access control
data acquisition
fully automatic
formal specification