Login / Signup
Dynamic security framework for mobile agent systems: specification, verification and enforcement.
Monia Loulou
Mohamed Jmaiel
Mohamed Mosbah
Published in:
Int. J. Inf. Comput. Secur. (2009)
Keyphrases
</>
mobile agent system
access control
formal verification
database systems
software architecture
java card
security management
metadata
cooperative
low cost
power consumption
security policies
formal methods
asynchronous circuits
policy enforcement