www.prismmodelchecker.org
[PB12] Sophia Petridou and Stylianos Basagiannis. Towards Energy Consumption Evaluation of the SSL Handshake Protocol in Mobile Communications. In Proc. 9th IEEE Annual Conference on Wireless on-demand Networks Systems and Services (IEEE WONS'12). 2012. [Analyses the energy consumption of the SSL handshake protocol using a PRISM CTMC model.]
Links: [Google] [Google Scholar]

Publications