Loading...

Time and energy cost analysis of Kerberos security protocol in Wireless Sensor Networks

Amin, F ; Sharif University of Technology

775 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/ISIAS.2011.6122838
  3. Abstract:
  4. Wireless Sensor Networks are composed of small, low cost, resource-constrained computing nodes equipped with low power wireless transceivers. In this paper, we study and model the time and energy cost of Kerberos protocol by using timed automata in WSN. We model check the protocol using UPPAAL. We show that considering time in the analysis of security protocols yield more confident results
  5. Keywords:
  6. Wireless Sensor Networks (WSN) ; Computing nodes ; Energy cost ; Kerberos ; Kerberos protocol ; Low costs ; Low power wireless ; Model check ; Resource-constrained ; Security Protocol ; Security protocols ; Timed Automata ; Wireless sensor ; Cost accounting ; Model checking ; Network security ; Wireless sensor networks
  7. Source: Proceedings of the 2011 7th International Conference on Information Assurance and Security, IAS 2011, 5 December 2011 through 8 December 2011, Malacca ; 2011 , Pages 308-313 ; 9781457721533 (ISBN)
  8. URL: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6122838