www.prismmodelchecker.org
[WS08] F. Werner and P. Schmitt. Analysis of the Authenticated Query Flooding Protocol by Probabilistic Means. In Proc. 5th Annual Conference on Wireless On demand Network Systems and Services (WONS'08), pages 101-104. 2008. [bib] http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4459341&isYear=2008
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications