Login / Signup

The Security Proof of a Link-state Routing Protocol for Wireless Sensor Networks.

Gergely ÁcsLevente ButtyánIstván Vajda
Published in: MASS (2007)
Keyphrases
  • information security
  • data sets
  • access control
  • security requirements
  • security policies
  • learning algorithm
  • social networks
  • information systems
  • state space
  • first order logic
  • data security
  • linear logic