Cited By
View all- Almasizadeh JAbdollahi Azgomi M(2018)A probabilistic model for anonymity analysis of anonymous communication networksTelecommunications Systems10.1007/s11235-018-0454-069:2(171-186)Online publication date: 1-Oct-2018
- Mhamdi THasan OTahar S(2018)Evaluation of anonymity and confidentiality protocols using theorem provingFormal Methods in System Design10.1007/s10703-015-0232-547:3(265-286)Online publication date: 28-Dec-2018
- Mhamdi THasan OTahar S(2012)Quantitative analysis of information flow using theorem provingProceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering10.1007/978-3-642-34281-3_11(119-134)Online publication date: 12-Nov-2012