IEEE - Institute of Electrical and Electronics Engineers, Inc. - Event-B based invariant checking of secrecy in group key protocols

2008 33rd IEEE Conference on Local Computer Networks (LCN 2008)

Author(s): A. Gawanmeh ; S. Tahar ; L. Ayed
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2008
Conference Location: Montreal, Que, Canada
Conference Date: 14 October 2008
Page(s): 950 - 957
ISBN (CD): 978-1-4244-2413-9
ISBN (Paper): 978-1-4244-2412-2
DOI: 10.1109/LCN.2008.4664308
Regular:

The correctness of group key protocols in communication systems remains a great challenge because of dynamic characteristics of group key construction as we deal with an open number of group... View More

Advertisement