International Journal of Communications, Network and System Sciences

International Journal of Communications, Network and System Sciences

ISSN Print: 1913-3715
ISSN Online: 1913-3723
www.scirp.org/journal/ijcns
E-mail: ijcns@scirp.org
"Formal Verification of Secrecy in Group Key Protocols Using Event-B"
written by Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed,
published by International Journal of Communications, Network and System Sciences, Vol.5 No.3, 2012
has been cited by the following article(s):
  • Google Scholar
  • CrossRef
Free SCIRP Newsletters
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top