Enforcement of Security Properties for Dynamic MAC Policies.

Jérémy Briffaut Jean-François Lalande Christian Toinard Mathieu Blanc

Published in: SECURWARE (2009)

Keyphrases

security properties
security requirements
security analysis
information systems
formal model
sensor networks
low cost
dynamic environments
security protocols
standard model