Group Key Protocols; Formal Verification; Forward Secrecy; Secrecy; Event-B - Articles

Formal Verification of Secrecy in Group Key Protocols Using Event-B (Articles)

Amjad Gawanmeh, Sofiène Tahar, Leila Jemni Ben Ayed

Int'l J. of Communications, Network and System Sciences Vol.5 No.3，March 21, 2012

DOI: 10.4236/ijcns.2012.53021 3,894 Downloads 6,378 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

Int'l J. of Communications, Network and System Sciences Vol.3 No.10，October 27, 2010

DOI: 10.4236/ijcns.2010.310104 7,891 Downloads 16,370 Views Citations
Exploring the subjective burden of confidentiality among physicians in Norway (Articles)

Løvseth Lise Tevik, Leiulfsrud Håkon

Health Vol.3 No.3，March 18, 2011

DOI: 10.4236/health.2011.33034 4,265 Downloads 8,268 Views Citations
A Resource Allocation Algorithm of Physical-Layer Security for OFDMA System under Non-ideal Condition (Articles)

Xiao-min Ran, You-quan Mo, Yu-lei Chen

Communications and Network Vol.5 No.3C，November 8, 2013

DOI: 10.4236/cn.2013.53B2039 5,791 Downloads 7,092 Views Citations
Opportunistic Relaying Technique over Rayleigh Fading Channel to Improve Multicast Security (Articles)

Md. Shamim Hossain, Md. Zahurul Islam Sarkar

Journal of Computer and Communications Vol.11 No.8，August 29, 2023

DOI: 10.4236/jcc.2023.118010 158 Downloads 617 Views Citations
Artificial Noise Based Security Algorithm for Multi-User MIMO System (Articles)

Jian-hua Peng, Kai-zhi Huang, Jiang Ji

Communications and Network Vol.5 No.3C，November 8, 2013

DOI: 10.4236/cn.2013.53B2037 5,987 Downloads 7,833 Views Citations
Secure Wireless Multicasting through Nakagami-m Fading Channels with Multi-Hop Relaying (Articles)

Md. Mizanur Rahman, Md. Zahurul Islam Sarkar, Mohammad Mahmud Hasan

Journal of Computer and Communications Vol.11 No.5，May 31, 2023

DOI: 10.4236/jcc.2023.115013 159 Downloads 580 Views Citations
Integrating Formal Methods in XP—A Conceptual Solution (Articles)

Shagufta Shafiq, Nasir Mehmood Minhas

Journal of Software Engineering and Applications Vol.7 No.4，April 17, 2014

DOI: 10.4236/jsea.2014.74029 5,512 Downloads 7,834 Views Citations
Formal Verification of Robertson-Type Uncertainty Relation (Articles)

Takaaki Masuhara, Toru Kuriyama, Masakazu Yoshida, Jun Cheng

Journal of Quantum Information Science Vol.5 No.2，June 11, 2015

DOI: 10.4236/jqis.2015.52008 3,516 Downloads 4,580 Views Citations
Security in Multicast Over α-μ Fading Channels with Orthogonal Frequency Division Multiplexing (Articles)

Mohammad Mahmud Hasan, Md. Zahurul Islam Sarkar

Journal of Computer and Communications Vol.10 No.11，November 17, 2022

DOI: 10.4236/jcc.2022.1011006 126 Downloads 578 Views Citations
A Novel Scheme for Deleting Group Members (Articles)

Junping Yao, Xinshe Li, Junchun Ma

Journal of Computer and Communications Vol.2 No.4，March 18, 2014

DOI: 10.4236/jcc.2014.24006 3,126 Downloads 4,157 Views Citations
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker (Articles)

Prabhu Kaliappan, Hartmut Koenig

Journal of Software Engineering and Applications Vol.1 No.1，December 9, 2008

DOI: 10.4236/jsea.2008.11003 6,270 Downloads 12,122 Views Citations
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata (Articles)

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Journal of Software Engineering and Applications Vol.3 No.8，August 26, 2010

DOI: 10.4236/jsea.2010.38093 5,001 Downloads 8,289 Views Citations
Enhancing Security in Multicellular Multicast Channels Reducing Interference Power with the Best Relay Selection (Articles)

Shaikh Muhammad Rizwan Ali, Md. Zahurul Islam Sarkar

Journal of Computer and Communications Vol.10 No.1，January 13, 2022

DOI: 10.4236/jcc.2022.101001 214 Downloads 803 Views Citations
Enhancing Security in Correlated Nakagami-m Fading Cellular Network Using SC and SSC Diversity Combining (Articles)

S. M. Rizwan Ali, M. Z. I. Sarkar

Wireless Engineering and Technology Vol.13 No.1，January 31, 2022

DOI: 10.4236/wet.2022.131001 178 Downloads 670 Views Citations
Enhancement of Multicast Security with Opportunistic Relaying Technique over κ-μ Shadowed Fading Channels (Articles)

Ashik Alam, Md. Zahurul Islam Sarkar

Journal of Computer and Communications Vol.10 No.11，November 30, 2022

DOI: 10.4236/jcc.2022.1011009 143 Downloads 570 Views Citations
An Adaptive Key Management Framework for the Wireless Mesh and Sensor Networks (Articles)

Mi Wen, Zhi Yin, Yu Long, Yong Wang

Wireless Sensor Network Vol.2 No.9，September 30, 2010

DOI: 10.4236/wsn.2010.29083 5,554 Downloads 10,537 Views Citations
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study (Articles)

Nadeem Akhtar, Muhammad Nauman

Journal of Software Engineering and Applications Vol.8 No.2，February 12, 2015

DOI: 10.4236/jsea.2015.82006 3,129 Downloads 4,169 Views Citations
Generalized Powers of Substitution with Pre-Function Operators (Articles)

Laurent Poinsot

Applied Mathematics Vol.4 No.7A，July 5, 2013

DOI: 10.4236/am.2013.47A004 3,065 Downloads 4,776 Views Citations
This article belongs to the Special Issue on Fractional Calculus Theory and Application
Cryptographic Protocols Based on Nielsen Transformations (Articles)

Benjamin Fine, Anja I. S. Moldenhauer, Gerhard Rosenberger

Journal of Computer and Communications Vol.4 No.12，October 31, 2016

DOI: 10.4236/jcc.2016.412004 1,604 Downloads 2,624 Views Citations
This article belongs to the Special Issue on Coding and Cryptography

<12 3 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies