FASER (Formal and Automatic Security Enforcement by Rewriting): An algebraic approach.

Guangye Sui Mohamed Mejri Hatem Ben Sta

Published in: CISDA (2012)

Keyphrases

security enforcement
access control
smart card
rewrite rules
semi automatic
formal model
information systems
computer networks