Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journal
Citations
Journals Menu
Articles
Archive
Indexing
Aims & Scope
Editorial Board
For Authors
Publication Fees
Open Special Issues
Published Special Issues
Special Issues Guideline
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
International Journal of Communications, Network and System Sciences
Submission
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
Google-based Impact Factor:
0.66
Citations
h5
-index & Ranking
Journals Menu
Articles
Archive
Indexing
Aims & Scope
Editorial Board
For Authors
Publication Fees
"
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
[1]
Revising Security Protocols against Network Attacks based on Event-B
2020
[2]
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B
2019
[3]
A rigorous tool-supported methodology for assuring the security and safety of cyber-physical systems
2019
[1]
Revising Security Protocols against Network Attacks based on Event-B
2020 24th International Conference on Circuits, Systems, Communications and Computers (CSCC)
,
2020
DOI:
10.1109/CSCC49995.2020.00054
Most cited
Most downloaded
E-Mail Alert
IJCNS Subscription
Publication Ethics & OA Statement
Frequently Asked Questions
Recommend to Peers
Recommend to Library
Contact us
Disclaimer
History Issue
Open Special Issues
Published Special Issues
Special Issues Guideline
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top