Login / Signup
Towards a Formal Model of Privacy-Sensitive Dynamic Coalitions
Sebastian Bab
Nadim Sarrouh
Published in:
FAVO (2011)
Keyphrases
</>
formal model
coalition formation
privacy sensitive
predicate calculus
security patterns
dynamic environments
privacy preserving
formal models
multi agent
multi agent systems
mobile robot
security properties