Title :
Time and energy cost analysis of Kerberos security protocol in Wireless Sensor Networks
Author :
Amin, Farshad ; Jahangir, Amir Hossein
Author_Institution :
Sharif Univ. of Technol., Tehran, Iran
Abstract :
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.
Keywords :
automata theory; formal verification; protocols; radio transceivers; telecommunication security; wireless sensor networks; Kerberos security protocol analysis; UPPAAL model checking; energy cost analysis; low power wireless transceivers; resource-constrained computing nodes; time cost analysis; timed automata; wireless sensor networks; Analytical models; Automata; Cryptography; Protocols; Synchronization; Wireless sensor networks; Model Checking; Security Protocol; Timed Automata; Wireless Sensor Networks (WSN);
Conference_Titel :
Information Assurance and Security (IAS), 2011 7th International Conference on
Conference_Location :
Melaka
Print_ISBN :
978-1-4577-2154-0
DOI :
10.1109/ISIAS.2011.6122838
