Formal Approaches to Wireless Sensor Networks

@article{Liu2011FormalAT,
  title={Formal Approaches to Wireless Sensor Networks},
  author={Si Liu and Xiaofeng Wu and Qin Li and Huibiao Zhu and Qian Wang},
  journal={2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion},
  year={2011},
  pages={11-18}
}
Wireless sensor networking, as a burgeoning technology, supports the monitoring of physical environments and control of sensor data, and has been widely applied in many fields. Due to its unique features, a number of formal theories, as well as verification tools, have been developed to make an in-depth study. In this paper, we propose a timed broadcasting language, the Timed Wireless Sensor Processes, with its operational semantics borrowing ideas from both the Timed CSP and the CBS. Moreover… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 22 references

A framework for security analysis of mobile wireless networks

  • C.S.Nanz
  • Theoretical Computer Science,
  • 2006
Highly Influential
5 Excerpts

A prospectus for mobile broadcasting systems

  • E. S. M. Merro.
  • Electronic Notes in Theoretical Computer Science
  • 2007

Similar Papers

Loading similar papers…