Secrecy Analysis of Physical Layer over κ-μ Shadowed Fading Scenarios

04/24/2018 ∙ by Hussien Al-Hmood, et al. ∙ 0

In this paper, the secrecy analysis of physical layer when both the main and wiretap channels undergo κ-μ shadowed fading channel is investigated. In particular, the average secrecy capacity (ASC), secure outage probability (SOP), the lower bound of SOP (SOP^L), and the probability of strictly positive secrecy capacity (SPSC) are derived by using the classic Wyner's wiretap model. Two different scenarios for the fading parameters, i.e., μ and m which represents the shadowing impact have been studied. These parameters are chosen first as arbitrary numbers, thus the performance metrics are expressed in single infinite series with multivariate Meijer G-function. In the second scenario, both the aforementioned fading parameters are assumed to be integer numbers in order to obtain the derived results in simple exact closed-form analytic mathematically tractable expressions. The numerical results of this analysis are verified via Monte Carlo simulations.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

I Introduction

Wyner has developed the information-theoretic notion of perfect secrecy that was introduced by Shannon via proposing the wiretap channel. The notion of this channel includes a legitimate user communicates with the intended receiver which are named Alice and Bob, respectively, in the presence of an eavesdropper [1]. Accordingly, the performance analysis of the physical layer security over fading channels has been given a special attention in the recent works. For example, the probability of strictly positive secrecy capacity (SPSC), the secure outage probability (SOP), and the average secrecy capacity (ASC) when the wireless channels undergo the additive white Gaussian noise (AWGN) and the Rayleigh fading channel are derived in [2] and [3]. The SPSC when both the main and wiretap channels undergo Rician fading scenario is given in [4]. The SOP and SPSC over Rician/Nakagami-m and Nakagami-m/Rician fading scenarios are provided in [5]. The SPSC and the ASC of the Weibull fading channel are introduced in [6] and [7], respectively. The closed-form expression of SPSC when both the Bob and the eavesdropper experience log-normal fading is presented in [8].

Recently, many efforts have been devoted to study the secrecy performance of the physical layer over different generalized fading channels which give results closer to the practical measurement than the traditional distributions. For instance, the closed-form expressions for the SPSC and the lower bound of SOP (SOP) over generalised Gamma fading model are derived by using the classic Wyner’s wiretap model [9]. The analysis in [10] is investigated by analysing the SPSC and SOP over fading that is used to model the line-of-sight (LoS) communication scenario where the parameters and denote the ratio between the powers of the dominant and the scattered waves components and the number of multipath clusters, respectively. In [11] and [12], the SPSC and the ASC are, respectively, utilised to analyse the secrecy performance over fading which is proposed to represent the non-homogeneous environment of wireless channel where indicates the non-linearity index. The scenarios of mean/wiretap channels undergo / and fading conditions are given in [13] to study the secrecy capacity of physical layer via deriving the expression of the SPSC, the SOP, and the SOP.

The wireless channel may subject to the shadowing effect which is part of fading that can not be ignored. Hence, several works have been dedicated to analyse the security of physical layer over composite multipath/shadowed fading channels. The generalised- () fading model which is composite of Nakagami-/log-normal is employed to represent the main/wiretap channels of the classic Wyner’s framework in [14] and [15]. In the former, the ASC, the SOP, and the SPSC are expressed in terms of the extended generalized bivariate Meijer

-function (EGBMGF) whereas a mixture Gamma distribution is used in the latter to approximate with high accuracy the same performance metrics. The analysis in [16] is based on using the

shadowed fading channels to derive the SPSC, and the SOP of physical layer. However, the provided expressions are approximated and included the EGBMGF as well as two infinite series that are not easily and steadily convergence. Therefore, the authors have used the Gamma distribution to approximate the expressions of the aforementioned performance metrics in simple closed-from formats.

Unlike [16], this work analyses the secrecy performance of the physical layer over shadowed fading channel via different formats of the ASC, the SOP, the SOP, and the SPSC. The aforementioned metrics are expressed first in single infinite series and the EGBMGF which would make the convergence acceleration is faster in comparison with [16]. In the second scenario, the parameter and the shadowing severity index are supposed to be integer numbers. Consequently, the derived results are given in simple exact analytic mathematically tractable closed-from expressions. Furthermore, in [16], an approximation is utilised to obtain the closed-from expression of the SOP. It is remarkable that the ASC and the SOP in shadowed fading have not been provided in [16].

Organization:

Section II describes the general and limited formats of the probability density function (PDF) and the cumulative distribution function of

shadowed fading. The ASC, the SOP, the SOP, and the SPSC for general and integer values of and shadowing parameters are derived in Sections III, IV, V, and VI, respectively. Section VII performs the Monte Carlo simulation and numerical results. Finally, conclusions are presented in Section VIII.

Ii The PDF and CDF of Shadowed Fading

The PDF of the instantaneous SNR , , for the destination (Bob), , and the eavesdropper, , channels in shadowed fading model is given by [17, eq. (4)]

(1)

where , , , , is the average SNR, is the shadowing severity index, and is the confluent hypergeometric function defined in [18, eq. (9.14.1)].

The CDF of the shadowed fading channel is expressed as [17, eq. (6)]

(2)

where , is the bivariate confluent hypergeometric function [18, eq. (9.261.2)].

When both and are integer numbers, i.e., and , the PDF and the CDF are, respectively, given by [19, eqs. (12) and eq. (13)]

(3)

and

(4)

where , , , and are provided in Table I.

Case Parameters
TABLE I: Parameter Values for the PDF and the CDF of the Shadowed Fading with Integer AND [19].

Iii Average Secrecy Capacity

The ASC can be calculated by [15, eq. (6)] where , , and are expressed as

(5)
(6)
(7)

For arbitrary values of and , , , and are, respectively, given by (8), (9), and (10)

(8)
(9)
(10)

where and are the incomplete Gamma function and the EGBMGF as in [20, Table I], respectively. It can be noticed that the EGBMGF is not yet implemented in MATLAB and MATHEMATICA software packages. Therefore, a MATHEMATICA code that is available in [20] has been used in this work.

Proof:

See Appendix A.

When both and are integer numbers, (5), (6), and (7) can be yielded in simple exact closed-form as follows

(11)
(12)
(13)

where is the upper incomplete Gamma function [18, eq. (3.351.2)].

Proof:

See Appendix B.

It can be observed that the ASC has not been presented in [16]. Consequently, to the authors’ best knowledge, the expressions in (8)-(13) are novel.

Iv Secure Outage Probability

The SOP can be computed by [9, eq. (4)]

(14)

where with denotes the target secrecy threshold.

When and , the SOP is expressed as

SOP
(15)

For integer values of the fading parameters, the SOP is given in simple exact mathematically tractable closed-from expression as

SOP
(16)

where is the binomial coefficient.

Proof:

See Appendix C.

One can see that the SOP in (15) and (16) are new because they have not been derived in the previous works such as [16].

V Lower Bound of SoP

According to [6], the SOP can be obtained from (14) by inserting . Hence, the SOP can be calculated by

(17)

The for arbitrary numbers of and , the SOP can be expressed in terms of a single infinite series as follows

(18)

When the values of both and are integer, the can be obtained in simple exact closed-from expression as

(19)
Proof:

See Appendix D.

Vi Probability of Strictly Positive Secrecy Capacity

The SPSC can be obtained by [9, eq. (12)]

(20)

Accordingly, the SPSC for arbitrary and integer values of fading parameters can be deduced from (15) and (16), respectively, after using and plugging the results in (20).

Vii Physical Layer Security over Special Cases of Shadowed Fading Model

The secrecy performance over several main/wiretap fading scenarios can be deduced from the results of the shadowed fading by setting the fading parameters for a certain value. For example, when , , and , , = m, , the wireless channels undergo Rayleigh and Nakagami-m fading conditions, respectively. The Rician and Rician shadowed fading models can be obtained by plugging , , and , , , , respectively. The performance metrics of [10], i.e., the SPSC and the ASC over fading can be yielded by substituting , , in the derived expressions.

Fig. 1: ASC versus for different values of , , , and .
Fig. 2: ASC versus for different values of , , , and .
Fig. 3: SOP versus for different values of , , , , and .
Fig. 4: SOP versus for different values of , , , , and .
Fig. 5: SOP versus for different values of , , , , and .
Fig. 6: SOP versus for different values of , , , , and
Fig. 7: SPSC versus for different values of , , , and .
Fig. 8: SPSC versus for different values of , , , and .

Viii Numerical and Simulation Results

In this section, the numerical results of this work are verified via Monte Carlo simulations with

iterations. The parameters of main and wiretap channels are assumed to be independent and non-identically distributed random variables. In all figures, the markers represents the numerical results, whereas the solid lines explain the simulations. Furthermore, all the secrecy performance metrics are plotted versus the ratio

and various values of and .

Figs. 1 and 2 illustrate the ASC for different values of and (), respectively, with . From both figures, one can see that the value of the ASC reduces when or/and () increase. This is because the high value of and refers to the large number of multipath clusters and less shadowing impact at the receiver (Bob or Eve). For instance, in Fig. 1, at and dB (fixed), the ASC for is nearly high than . In the same context, when and changes from to , the ASC is decreased by roughly . On the other side, in Fig. 2, when at dB (fixed), the values of the ASC for and are approximately and , respectively. In addition, the same figure shows the ASC for is less than by roughly at constant dB and .

Figs. 3 and 4 demonstrate the SOP for for different values of and (), respectively, with , and . It can be noticed from these figures that the SOP decreases with the rising of or/and () and for the same reasons that have been mentioned previously. For example, in Fig. 3, at dB (fixed), the value of the SOP for the (, ) = (, ) is less by nearly and than (, ) = (, ) and (, ) = (, ), respectively. The provided results in Figs. 3 and 4 are, respectively, affirmed by Figs. 5 and 6 that explain the SOP for the same fading and simulation parameters. This confirmation comes from all the results in the latter figures are less than or equal to their corresponding scenarios in Figs. 3 and 4.

Figs. 7 and 8 explain the SPSC for different values of and (), respectively, with . As expected, the SPSC decreases with the increasing in the fading parameters ( and ) of the main or/and the wiretap channels.

From all figures, it is clear that the performance improves when the ratio increases. This refers to the high in comparison with the which would lead to make the Alice-Bob channel better than the Alice-Eve channel. Moreover, some the performance metrics of physical layer security over special cases of shadowed, namely, Rayleigh, Nakagami-, Rician, and Rician shadowed fading channels, have been also investigated. More importantly, the numerical results and Monte Carlo simulations are in perfect match for any provided scenario.

Ix Conclusions

This paper was dedicated to study the secrecy behaviour of the physical layer over shadowed fading channels. Different performance metrics, such as the ASC, the SOP, the SOP, and the SPSC, were derived by assuming two scenarios for the values of the fading parameters, namely, arbitrary and integer numbers. In the first scenario, the derived results were expressed in terms of EGBMGF and a single infinite series. On the other side, the second scenarios provided simple exact mathematically tractable closed-form expressions. From the given results, a reduction in the values of the ASC, the SOP, the SOP, and the SPSC can be observed when the values of or/and increase. Furthermore, the secrecy performances of some special cases of shadowed fading channels were also investigated. Accordingly, the results of this work can be employed to study the behaviour of the physical layer over a variety of fading channels with simple exact closed-form expressions and integer fading parameters.

Appendix A

Proof of (8): Substituting (1) and (2) in (5), we have

(21)

With the help of [21, eq. (1.3.7)], [18, eq. (9.261.2)], [21, eq. (1.1.20)], and [18, eq. (9.14.1)], we have

(22)

Using the identities [22, eq. (11)], [18, eq. (9.34.8)], and [18, eq. (9.34.7)] to express and , , and in terms of Meijer -function. Thus, (22) can be rewritten as

(23)

The integral in (23) can be computed by [23, eq. (9)] and that completes the proof of (8).

Proof of (9): It can be observed that (9) can be calculated by (8) after replacing the symbols and with and , respectively.

Proof of (10): Plugging (1) in (7), we have

(24)

Similar to (9), the identities [22, eq. (11)] and [18, eq. (9.34.8)] are utilised to obtain

(25)

With the aid of [23, eq. (9)], (25) can be evaluated in exact closed-form expression as in (10).

Appendix B

Proof of (11): After inserting (3) and (4) in (5), this yields

(26)

Employing [24, eq. (47)] to calculate the integrals of (26) in simple exact closed-form expressions as given in (11).

Proof of (12): Using and instead of and , respectively, in (11), the result is that is given in (12).

Proof of (13): Plugging (3) in (7), this yields

(27)

Likewise, [24, eq. (47)] is utilised to express (27) in exact closed-form as in (13).

Appendix C

Proof of (15): Inserting (1) and (2) in (14) and using [18, eq. (9.261.2)] and [21, eq. (1.3.7)], the result is

SOP
(28)

After doing some mathematical manipulations and recalling the identities [22, eq. (10)], [18, eq. (9.34.8)], and [22, eq. (17)], to write , , and , respectively, using Meijer -function, (28) becomes

SOP
(29)

With the aid of [23, eq. (9)], the expression of the SOP in (29) can be deduced as in (15) which completes the proof.

Proof of (16): Substituting (3) and (4) in (14) and utilising , we have

SOP
(30)

Doing some mathematical manipulations with the aid [18, eq. (1.111)] and employing [18, eq. (3.381.4)], the integral of (30) can be expressed in simple exact closed-form as in (16).

Appendix D

Proof of (18): Inserting (1) and (2) in (17) and following the same procedure for (28), this yields