-Connectivity of Random Key Graphs
Random key graphs represent topologies of secure wireless sensor networks that apply the seminal Eschenauer–Gligor random key predistribution scheme to secure communication between sensors. These graphs have received much attention and also been used in diverse application areas beyond secure sensor networks; e.g., cryptanalysis, social networks, and recommender systems. Formally, a random key graph with nodes is constructed by assigning each node keys selected uniformly at random from a pool of keys and then putting an undirected edge between any two nodes sharing at least one key. Considerable progress has been made in the literature to analyze connectivity and -connectivity of random key graphs; e.g., Yağan and Makowski [ISIT ’09, Trans. IT’12] on connectivity under , Rybarczyk [Discrete Mathematics ’11] on connectivity under , and our recent work [CDC ’14] on -connectivity under , where -connectivity of a graph ensures connectivity even after the removal of nodes or edges. Yet, it still remains an open question for -connectivity in random key graphs under and (the case of is trivial). In this paper, we answer the above problem by providing an exact analysis of -connectivity in random key graphs under .
Random key graphs, also known as homogeneous random intersection graphs, have been investigated widely in the literature [2, 6, 7, 9, 10, 12, 13, 1, 5]. The notion of random key graph results from the seminal Eschenauer–Gligor (EG) random key predistribution scheme , which is the most recognized solution to secure communication using cryptographic keys in wireless sensor networks . The definition of a random key graph can also be generalized beyond cryptographic keys. Consider a random key graph that is constructed on a set of nodes as follows. Each node is independently assigned a set of distinct objects, selected uniformly at random from a pool of objects, where and are both functions of . An undirected edge exists between two nodes if and only if they possess at least one common object. An object is a cryptographic key in the application of random key graphs to the Eschenauer–Gligor random key predistribution scheme. In addition to the area of secure sensor networks, random key graphs have also been used in various applications including cryptanalysis , social networks , and recommender systems .
(-)Connectivity of a random key graph has received much interest [2, 6, 7, 9, 10, 12, 13]. A graph is said to be -connected if it remains connected despite the deletion of at most nodes or edges111-connectivity given here is equivalent to -vertex-connectivity, which can also be defined when only node failure is considered; i.e., the ability of the graph remaining connected in spite of the removal of at most nodes. -edge-connectivity is defined similarly for graphs that are still connected despite the failure of any edges. It is plain to prove that -vertex-connectivity implies -edge-connectivity .; an equivalent definition of -connectivity is that for each pair of nodes there exist at least mutually disjoint paths connecting them . In the case of being 1, -connectivity becomes connectivity, meaning that each node in the graph can find at least one path to any other node, either directly or with the help of other relaying nodes. A graph property related to and implied by -connectivity is that the minimum degree of the the graph is at least (i.e., each node is directly connected to no less than other nodes), where the minimum degree refers to the minimum among the numbers of neighbors that nodes have.
We investigate -connectivity of random key graphs. Our contribution is, for a random key graph, to derive the asymptotically exact probabilities for -connectivity and the property that the minimum degree is at least .
Ii The Results
For a random key graph , Theorem 1 and Corollary 1 below present the asymptotically exact probabilities for -connectivity and the property of the minimum degree being at least , where is a positive integer and does not scale with . The term stands for the natural logarithm function, and is its base. We use the standard asymptotic notation ; in particular, for two positive sequences and , the relation means . All asymptotic statements are understood with . Also, denotes the probability that event occurs.
For a random key graph , let be the probability that there exists an edge between two nodes. With a sequence defined by
then under , it follows that
For a random key graph , with a sequence defined by
then under , it follows that
Establishing Corollary 1 given Theorem 1 is straightforward and is given in the Appendix. Below we explain how to obtain Theorem 1. Since a necessary condition for a graph to be -connected is that the minimum degree is at least , the proof of Theorem 1 will be completed once we have the following two lemmas. Lemma 1 is from our prior work . Lemma 2 simply reproduces the result on the minimum degree in Theorem 1.
For a random key graph under (1) and , it follows that
For a random key graph under (1) and , it follows for integers and that
We detail the proof of Lemma 3 in the next section.
Iii The Proof of Lemma 3
In a random key graph , recalling that is the set of nodes, we let be the set of distinct objects assigned to node . We further define as and as . Among nodes in , we denote by the set of nodes neighboring to for . We denote by , and by .
We have the following two observations:
If node has degree , then , where the equal sign holds if and only if is directly connected to none of nodes in ; i.e., if and only if event happens.
If for any , then
where the two equal signs in (6) both hold if and only if
From i) and ii) above, if nodes have degree , we have either of the following two cases:
Any two of have no edge in between (namely, ); and event (7) happens.
In addition, if case (a) happens, then nodes have degree . However, if case (b) occurs, there is no such conclusion. With (resp., ) denoting the probability of case (a) (resp., case (b)), we obtain
We will prove (8) and (9) below. We let denote the tuple . The expression “” means “given ”, where with being arbitrary -size subsets of the object pool. Note that . For two different nodes and in the graph , we use to denote the event that there is an edge between and ; i.e., the symbol “” means “is directly connected to”.
Iii-a The Proof of (8)
Let be an arbitrary node in . We have
By the union bound, it holds that
so (16) holds once we demonstrate
We denote the left hand side of (20) by . Dividing into two parts and , we derive
as given in [11, Eq. (36)], we have
For an arbitrary , from (18), we obtain for all sufficiently large, which with condition yields that for all sufficiently large,
Since is arbitrary, it follows from (27) that for arbitrary , then for all sufficiently large, it is clear that
We then evaluate . By (20), it holds that
Setting in (29), for all sufficiently large, we derive
Then for all sufficiently large, it follows that
Iii-B The Proof of (9)
Again let be an arbitrary node in . We have
For , under , we have
Then from (18), it further hold that
From (14), under , it holds that
Iv Numerical Experiments
We present numerical experiments to back up our theoretical results. Figure 1 depicts the probability that graph is -connected. We let vary, with other parameters fixed at , and . The empirical probabilities corresponding to the experimental curves are obtained as follows: we count the times of -connectivity out of independent samples of , and derive the empirical probability through dividing its corresponding count by . For the theoretical curves, we first compute by setting the edge probability (viz., (45) in the Appendix) as and then use as the theoretical value for the probability of -connectivity. Figure 1 confirms our analytical results as the experimental and theoretical curves are close.
V Related Work
For a random key graph , Rybarczyk  derives the asymptotically exact probabilities of connectivity and of the property that the minimum node degree is no less than , covering a weaker form of the results – the zero-one laws which are also obtained in [2, 10]. As demonstrated in , in with , and , the probability of connectivity and that of the minimum degree being at least both approach to as . Rybarczyk  implicitly obtains zero-one laws (but not the asymptotically exact probabilities) for -connectivity and for the property that the minimum degree is at least . The implicit result is that if for some and , graph has (resp., does not have) the two properties with probability approaching to , given that tends to (resp., ) as . Our Corollary 1 significantly improves her result  in the following two aspects: (i) we cover the wide range of all sufficiently large, instead of the much stronger condition in  (note that the analysis under is trivial), and (ii) we establish not only zero–one laws for -connectivity and the minimum degree, but also the asymptotically exact probabilities. The latter results are not given by Rybarczyk . Recently, we  give the asymptotically exact probability of -connectivity in graph under through a rather involved proof. We improve this result to cover through a simpler proof and fill the gap where is at least , but is not . This improvement is of technical interest as well as of practical importance since random key graphs have been used in diverse applications including modeling the Eschenauer–Gligor random key predistribution scheme (the most recognized solution to secure communication in wireless sensor networks).
In this paper, for a random key graph, we derive the asymptotically exact probabilities for two properties with an arbitrary : (i) the graph is -connected; and (ii) each node has at least neighboring nodes. Numerical experiments are in accordance with our analytical results.
-  S. Blackburn, D. Stinson, and J. Upadhyay. On the complexity of the herding attack and some related attacks on hash functions. Designs, Codes and Cryptography, 64(1-2):171–193, 2012.
-  S. R. Blackburn and S. Gerke. Connectivity of the uniform random intersection graph. Discrete Mathematics, 309(16), August 2009.
-  P. Erdős and A. Rényi. On the strength of connectedness of random graphs. Acta Math. Acad. Sci. Hungar., pages 261–267, 1961.
-  L. Eschenauer and V. Gligor. A key-management scheme for distributed sensor networks. In Proc. ACM CCS, 2002.
-  P. Marbach. A lower-bound on the number of rankings required in recommender systems using collaborativ filtering. In Proc. IEEE CISS, 2008.
-  K. Rybarczyk. Diameter, connectivity and phase transition of the uniform random intersection graph. Discrete Mathematics, 311, 2011.
-  K. Rybarczyk. Sharp threshold functions for the random intersection graph via a coupling method. Electr. Journal of Combinatorics, 18:36–47, 2011.
-  K. Rybarczyk. The coupling method for inhomogeneous random intersection graphs. ArXiv e-prints, Jan. 2013. Available online at http://arxiv.org/abs/1301.0466 .
-  O. Yağan. Performance of the Eschenauer–Gligor key distribution scheme under an on/off channel. IEEE Transactions on Information Theory, 58(6):3821–3835, June 2012.
-  O. Yağan and A. M. Makowski. Zero–one laws for connectivity in random key graphs. IEEE Transactions on Information Theory, 58(5):2983–2999, May 2012.
J. Zhao, O. Yağan, and V. Gligor.
On asymptotically exact probability of -connectivity in random key
graphs intersecting Erdős-Rényi graphs.
ArXiv e-printst, 2014.
Available online at
-  J. Zhao, O. Yağan, and V. Gligor. -Connectivity in secure wireless sensor networks with physical link constraints — the on/off channel model. ArXiv e-prints, 2012. Available online at http://arxiv.org/abs/1206.1531 .
-  J. Zhao, O. Yağan, and V. Gligor. Secure -connectivity in wireless sensor networks under an on/off channel model. In Proc. IEEE ISIT, pages 2790–2794, 2013.
-  J. Zhao, O. Yağan, and V. Gligor. On the strengths of connectivity and robustness in general random intersection graphs. 2014. Available online at http://www.andrew.cmu.edu/user/junzhao/papers/k-con-RKG-14.pdf.