Login / Signup

FASER (Formal and Automatic Security Enforcement by Rewriting) by BPA algebra with test.

Guangye SuiMohamed 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