Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed. Event-B based invariant checking of secrecy in group key protocols. In LCN 2008, The 33rd IEEE Conference on Local Computer Networks, The Conference on Leading Edge and Practical Computer Networking, Hyatt Regency Montreal, Montreal, Quebec, Canada, 14-17 October 2008, Proceedings. pages 950-957, IEEE, 2008. [doi]
@inproceedings{GawanmehTA08,
title = {Event-B based invariant checking of secrecy in group key protocols},
author = {Amjad Gawanmeh and Sofiène Tahar and Leila Jemni Ben Ayed},
year = {2008},
doi = {10.1109/LCN.2008.4664308},
url = {http://dx.doi.org/10.1109/LCN.2008.4664308},
tags = {rule-based, protocol},
researchr = {https://researchr.org/publication/GawanmehTA08},
cites = {0},
citedby = {0},
pages = {950-957},
booktitle = {LCN 2008, The 33rd IEEE Conference on Local Computer Networks, The Conference on Leading Edge and Practical Computer Networking, Hyatt Regency Montreal, Montreal, Quebec, Canada, 14-17 October 2008, Proceedings},
publisher = {IEEE},
}