Login / Signup

Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method.

Iakovos OuranosPetros S. StefaneasKazuhiro Ogata
Published in: ISoLA (1) (2010)
Keyphrases
  • sensor networks
  • image processing
  • computational complexity
  • data collection
  • real time
  • data sets
  • data streams
  • quality of service
  • sensor data
  • camera network
  • underwater acoustic