Login / Signup
FASER (Formal and Automatic Security Enforcement by Rewriting) by BPA algebra with test.
Guangye Sui
Mohamed Mejri
Published in:
Int. J. Grid Util. Comput. (2013)
Keyphrases
</>
security enforcement
access control
smart card
semi automatic
digital libraries
query rewriting
data model
query language
computer networks