Complexity of fairness constraints for the Dolev-Yao attacker model

Article, Conference object OPEN
Jan Cederquist ; Mohammad Dashti (2011)
Share - Bookmark