On the logical verification of a group key agreement protocol for resource constrained mobile devices
- Yue Li
- , Thomas Newe
- University of Limerick
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review