Login / Signup

Application of Lightweight Formal Methods to Software Security.

David P. GilliamJohn D. PowellMatt Bishop
Published in: WETICE (2005)
Keyphrases
  • lightweight
  • formal methods
  • communication infrastructure
  • software engineering
  • low cost
  • formal specification
  • wireless sensor networks
  • formal analysis
  • authentication protocol
  • safety critical