Rewriting-based Security Enforcement of Concurrent Systems - A Formal Approach.

Mahjoub Langar Mohamed Mejri Kamel Adi

Published in: SECRYPT (2010)

Keyphrases

concurrent systems
security enforcement
formal specification
access control
process algebra
smart card
temporal logic
model checking
transition systems
distributed systems
petri net
formal methods
rewrite rules
reverse engineering
fine grained
end to end
relational databases