www.prismmodelchecker.org
[PBP11] Ioannis Paparrizos, Stylianos Basagiannis and Sophia Petridou. Quantitative Analysis for Authentication of Low-cost RFID Tags. In Proc. 36th IEEE Conference on Local Computer Networks (LCN'11), IEEE. 2011. [Analyses the computation and transmission costs of RFID tags using a PRISM DTMC model.]
Links: [Google] [Google Scholar]

Publications