Method for communicating in a network, a communication device and a system therefor

09813903 · 2017-11-07

Assignee

Inventors

Cpc classification

International classification

Abstract

The present invention relates to a communication system comprising a first node and second node adapted for communicating in a network, wherein the first node comprises a first list of keying materials including a plurality of keying materials, wherein the second node comprises a second list of keying materials including a plurality of keying materials, wherein the first node further comprises a receiver for receiving from the second node a second node identifier, a controller being arranged for determining from the second node identifier the position in the first list of at least one keying material having a common root with one keying material of the second list, and for generating an encryption key by means of the keying material having a common root and the second node identifier.

Claims

1. A method of operating a first node for communicating in a network with a second node, the method comprising the acts of: in a first node: a receiver configured to receive from a second node, a second node identifier, a controller configured to: determine from the second node identifier, a position of a cryptographic element in a first logical list of cryptographic elements associated with the first node, wherein the position identifies a cryptographic element having a common root with a cryptographic element among a plurality of cryptographic elements of a second logical list associated with the second node, the determination comprising: computing a second node block identifier as:
j.sub.2=i.sub.2mod(n.sup.2+n+1), where j.sub.2 is the block identifier of the second node, i.sub.2 the second node identifier, and n is the order of a Finite Projective Plane; computing a first block identifier of the first node as:
j.sub.1=i.sub.1mod(n.sup.2+n+1), where j.sub.1 is the block identifier, and i.sub.1 the first node identifier, wherein if the second node block identifier equals the first block identifier, the position of the cryptographic element in the first logical list is dependent on: k 1 = .Math. i 1 - i 2 .Math. n 2 + n + 1 ( mod n + 1 ) ,  and if the second node block identifier does not equal the first block identifier, the position of the cryptographic element in the first logical list is dependent on: k = .Math. j 2 - j 1 .Math. .Math. a 2 - a 1 .Math. ( mod n ) , where a.sub.2 equals floor(j.sub.2/n) and a.sub.1 equals floor (j.sub.1/n), and generating an encryption key by means of the cryptographic element having the common root and the second node identifier.

2. The method of claim 1, wherein the cryptographic elements are keying materials for generating a shared key between the first and second node.

3. The method of claim 1, further comprising: prior to the receiving act, assigning to the nodes of the network, a logical list of cryptographic elements, the logical list being selected depending on an identifier of the corresponding node among a plurality of available logical lists of cryptographic elements.

4. The method of claim 3, wherein the logical lists of cryptographic elements are generated so that any pair of logical lists comprise each at least one cryptographic element having a common root.

5. The method of claim 3, wherein the logical lists of cryptographic elements are generated so that a position of a common element in two different logical lists can be discovered without generating the whole composition of the logical list of cryptographic elements.

6. The method of claim 3, wherein there is a relationship between each considered pair of logical lists and the position in each logical list of the pair of the at least one keying material having a common root.

7. A communication node adapted for communicating in a network with a second communication node, wherein the communication node comprises: a communication node identifier, a first logical list of cryptographic elements including a plurality of cryptographic elements; a receiver configured to: receive a second identifier from the second communication node, and a controller configured to: determine from the second identifier, a position of at least one cryptographic element in the first logical list of cryptographic elements, wherein the position identifies a cryptographic element having a common root with a cryptographic element of a second logical list of cryptographic elements associated with the second communication node, the determination comprising: computing a second node block identifier as:
j.sub.2=i.sub.2mod(n.sup.2+n+1), where j.sub.2 is the block identifier of the second node, i.sub.2 the second node identifier, and n is the order of a Finite Projective Plane; computing a first block identifier of the first node as:
j.sub.1=i.sub.1mod(n.sup.2+n+1), where j.sub.1 is the block identifier, and i.sub.1 the first node identifier, wherein if the second node block identifier equals the first block identifier, the position of the cryptographic element in the first logical list is dependent on: k 1 = .Math. i 1 - i 2 .Math. n 2 + n + 1 ( mod n + 1 ) ,  and if the second node block identifier does not equal the first block identifier, the position of the cryptographic element in the first logical list is dependent on: k = .Math. j 2 - j 1 .Math. .Math. a 2 - a 1 .Math. ( mod n ) , where a.sub.2 equals floor(j.sub.2/n) and a.sub.1 equals floor (j.sub.1/n), and generate an encryption key by means of the cryptographic element having a common root and the second node identifier.

8. A communication system comprising: a first node; and a second node adapted for communicating in a network; the first node comprising: a first controller, a receiver controlled by the first controller, a first node identifier, and a first logical list of cryptographic elements comprising a first plurality of cryptographic elements; the second node comprising: a second controller, a transmitter controlled by the second controller, a second node identifier, and a second logical list of cryptographic elements comprising a second plurality of cryptographic elements, wherein the second controller is configured to: control the transmitter of the second node to transmit to the first node a second node identifier; and the first controller of the first node is configured to: control the receiver to receive from the second node the second node identifier, determine from the second node identifier a position in the first logical list having a common root with a cryptographic element of the second logical list, the determination comprising: computing a second node block identifier as:
j.sub.2=i.sub.2mod(n.sup.2+n+1), where j.sub.2 is the block identifier of the second node, i.sub.2 the second node identifier, and n is the order of a Finite Projective Plane; computing a first block identifier of the first node as:
j.sub.1=i.sub.1 l mod(n.sup.2+n+1), where j.sub.1 is the block identifier, and i.sub.1 the first node identifier, wherein if the second node block identifier equals the first block identifier, the position of the cryptographic element in the first logical list is dependent on: k 1 = .Math. i 1 - i 2 .Math. n 2 + n + 1 ( mod n + 1 ) ,  and if the second node block identifier does not equal the first block identifier, the position of the cryptographic element in the first logical list is dependent on: k = .Math. j 2 - j 1 .Math. .Math. a 2 - a 1 .Math. ( mod n ) , where a.sub.2 equals floor(j.sub.2/n) and a.sub.1 equals floor (j.sub.1/n), and generate an encryption key by means of the cryptographic elements having the common root and the second node identifier.

9. A tangible, non-transitory, computer-readable, storage medium comprising any storage medium that is not a transitory propagating signal or wave, having stored thereon instructions, which when accessed by the processing circuitry configures the processing circuitry to: in a first node: receive, in a receiver, a second node identifier from a second node, determine, by a controller, from the second node identifier, a position of at least one cryptographic element in a first logical list of cryptographic elements associated with the first node, the position identifying a cryptographic element having a common root with a cryptographic element of a second logical list of cryptographic elements associated with the second node, the determination comprising: computing a second node block identifier as:
j.sub.2=i.sub.2mod(n.sup.2+n+1), where j.sub.2 is the block identifier of the second node, i.sub.2 the second node identifier, and n is the order of a Finite Projective Plane; computing a first block identifier of the first node as:
j.sub.1=i.sub.1mod(n.sup.2+n+1), where j.sub.1 is the block identifier, and i.sub.1 the first node identifier, wherein if the second node block identifier equals the first block identifier, the position of the cryptographic element in the first logical list is dependent on: k 1 = .Math. i 1 - i 2 .Math. n 2 + n + 1 ( mod n + 1 ) ,  and if the second node block identifier does not equal the first block identifier, the position of the cryptographic element in the first logical list is dependent on: k = .Math. j 2 - j 1 .Math. .Math. a 2 - a 1 .Math. ( mod n ) , where a.sub.2 equals floor(j.sub.2/n) and a.sub.1 equals floor (j.sub.1/n), and generate an encryption key by means of the cryptographic element having a common root and the second node identifier.

10. The communications node of claim 7, wherein the cryptographic elements are keying materials for generating a shared key between the first and second node.

11. The communications node of claim 7, the processing circuitry configured to: prior to the receiving the second node identifier, assign to nodes of the network, a logical list of cryptographic elements, the logical list being selected depending on an identifier of a corresponding node among a plurality of available logical lists of cryptographic elements.

12. The communications node of claim 11, wherein the logical lists of cryptographic elements are generated so that any pair of logical lists comprise at least one cryptographic element having a common root.

13. The communications node of claim 11, wherein the logical lists of cryptographic elements are generated so that a position of a common element in two different logical lists can be discovered without generating the whole composition of the logical list of cryptographic elements.

14. The communications node of claim 11, wherein there is a relationship between each considered pair of logical lists and the position in each logical lists of the pair of the at least one keying material having a common root.

15. A method of operating a first node for communicating in a network with a second node, the method comprising the acts of: in a first node: receiving from a second node a second node identifier, determining by a controller, from the second node identifier, a position of a cryptographic element in a first logical list of cryptographic elements representative of a common element between the first node and the second node, the determination comprising: computing a second node block identifier as:
j.sub.2=i.sub.2mod(n.sup.2+n+1), where j.sub.2 is the block identifier of the second node, i.sub.2 the second node identifier, and n is the order of a Finite Projective Plane; computing a first block identifier of the first node as:
j.sub.1=i.sub.1mod(n.sup.2+n+1), where j.sub.1 is the block identifier, and i.sub.1 the first node identifier, wherein if the second node block identifier equals the first block identifier, the of the cryptographic element position in the first logical list is dependent on: k 1 = .Math. i 1 - i 2 .Math. n 2 + n + 1 ( mod n + 1 ) ,  and if the second node block identifier does not equal the first block identifier, the position of the cryptographic element in the first logical list is dependent on: k = .Math. j 2 - j 1 .Math. .Math. a 2 - a 1 .Math. ( mod n ) , where a.sub.2 equals floor(j.sub.2/n) and a.sub.1 equals floor (j.sub.1/n), and generate an encryption key by means of the cryptographic element having a common root and the second node identifier.

Description

BRIEF DESCRIPTION OF THE DRAWINGS

(1) The present invention will now be described in more detail, by way of example, with reference to the accompanying drawings, wherein:

(2) FIG. 1 is a network according to one embodiment of the invention

(3) FIG. 2 is a block diagram of a method for secure communications from a first node to a second node, according to an embodiment of the invention.

DETAILED DESCRIPTION OF THE INVENTION

(4) The present invention relates to a method for secure communications from a first node to a second node in a network. The present invention is more especially dedicated to wireless sensor and actuator networks for example used for patient monitoring, e.g. networks comprising sensor nodes for sensing physical parameters of a patient, receptor nodes for providing medical staff with the parameters, and actuator nodes.

(5) However, it is to be noted that the present invention is not limited to networks of the like, and can be carried out in any type of network, used for any technical application.

(6) A method according to one embodiment of the invention will now be described in connection with FIGS. 1 and 2.

(7) A network according to the invention comprises at least two nodes N1 and N2, each one being provided with an identifier, respectively called ID1 and ID2. In an embodiment, the network also comprises a trust center node TC, used for the configuration of the network and for providing the nodes N1 and N2 with all necessary information for generating cryptographic keys.

(8) During operational phase, to ensure the communication between the first node N1 and the second node N2 of the network, each of the nodes generates a shared key and uses this key to encode any communication sent to the other node, or to decode any communication received from this other node. FIG. 2 describes the different steps required for the first node to generate a shared key for communicating with the second node. Similar steps may be performed by the second node for generating the corresponding shared key for communicating with the first node.

(9) In accordance with this example, to generate a key, two nodes need to be provided with keying material shares, respectively KM.sup.(ID1) and KM.sup.(ID2) i.e. some information allowing for key establishment. Each keying material share is generally received from the trust center TC during a configuration phase or distribution phase of the network. The keying material shares provided to the nodes are generated from a root keying material KM, which is a crypto information only known to the trust center. In this example the root keying material is a bivariant function, like a polynomial, and each keying material share is a monovariant function. Advantageously, the root keying material is a symmetric bivariant function. It is to be noted that in other examples of the invention, the keying material shares are multivariate functions or encryption keys of a symmetric encryption system.

(10) The method described above is thus not intended to be applied to a particular node, but can be carried out by any node of the network.

(11) When a communication is to be established between the first node and the second node, the first node receives from the second node, on step a), the identifier ID2 of the second node.

(12) In order to discover the shared key for communicating with the second node, the first node needs to determine, in step b), the common element of the respective lists of the cryptographic elements of the two nodes N1 and N2 involved in the communication. Then, in step c), the node N1 generates a key with this determined common element, for instance by computing it with help of the identifier of N2 if the encryption element is a monovariant function as explained above.

(13) Indeed, in accordance with 2-resilient key distribution schemes that can be used in this kind of networks and as introduced previously, nodes do not share ready-made keys. Instead, nodes are provided with some node-specific information that allows them to compute a shared key with any other node on input of that node's identifier. This node-specific information is derived from a keying root (KR) and the node-specific share for node i is denoted by KR.sup.(i). Hence, the different shares KR.sup.(i) are all different but correlated. This approach is especially interesting for mobile wireless sensor and actuator networks due to different reasons including: (i) the resource-constrained nature of wireless nodes; (ii) the mobility of nodes; (iii) or the low delay requirements of application scenarios such as patient monitoring or wireless control networks addressed by the ZigBee Alliance.

(14) The method of this embodiment of the invention can be applied to combinatorial key pre-distribution methods. These form the basis of deterministic pairwise key pre-distribution scheme (DPKPS), which works as follows. In DPKPS not one but multiple keying roots are generated. A combinatorial concept is used to pre-distribute certain sets of keying root shares to the nodes in a clever way. This combinatorial concept can be a Finite Projective Plane (FPP) of order n (with n prime) and parameters (n.sup.2+n+1, n+1, 1), which is defined as an arrangement of n.sup.2+n+1 distinct elements into n.sup.2+n+1 blocks such that: Each block contains exactly n+1 elements; Every element occurs in exactly n+1 blocks; Every pair of blocks has exactly 1 element in common.

(15) The set of elements is denoted by E={0, . . . , n.sup.2+n} and the set of blocks by B={B.sub.0, . . . , B.sub.n.sub.2.sub.+n}, where block B.sub.i={b.sub.i,0, . . . , b.sub.i,n}⊂E.

(16) The elements of the FPP correspond to different keying roots KR.sub.0, . . . , KR.sub.n.sub.2.sub.+n in the system. In the pre-deployment phase before the operational phase, the sensor nodes are assigned to a particular FPP block according to the clever distribution. Here node i (with i ε{0, 1, 2, . . . }) is assigned to block B.sub.j with:
j≡i (mod n.sup.2+n+1).

(17) The keying material that a node is provided with consists of the shares derived from the roots in its particular block. Hence, node i gets keying material KM.sup.(i):
KM.sup.(i)={KR.sub.b.sub.j,0.sup.(i), KR.sub.b.sub.j,1.sup.(i), . . . , KR.sub.b.sub.j,n.sup.(i)}

(18) Note that by the definition of the FPP, all the nodes then have one common root if they are in different blocks, or n+1 common roots if they are in the same block. After the nodes are deployed, a node i.sub.1 that wants to establish a shared key with node i.sub.2 performs the following key establishment procedure:

(19) 1. Determine the block identifier j.sub.2≡i.sub.2 (mod n.sup.2+n+1).

(20) 2. Common root discovery: a Generate the FPP block with block identifier j.sub.2: B.sub.j.sub.2={b.sub.j.sub.2.sub.,0, . . . , b.sub.j.sub.2.sub.,n}. b Compare the elements of block B.sub.j.sub.2 with the elements of its own block B.sub.j.sub.1 (which may be stored to save on computational effort) to discover the common element b. c Retrieve the keying root share KR.sub.b.sup.(i.sup.1.sup.) from the keying material.

(21) 3. Compute the key from the share KR.sub.b.sup.(i.sup.1.sup.) and identifier i.sub.2. This can be done with several methods. For example, the KR.sub.b.sup.(i.sup.1.sup.) being a monovariant polynomial can be computed with the value i.sub.2 as variable. In some other example, this share is segmented in sub polynomials, computed each at i.sub.2, and then concatenated or combined for instance with an XOR operand. By definition of the λ-resilient scheme, this key is equal to the key that node i.sub.2 computes from its share KR.sub.b.sup.(i.sup.2.sup.) and identifier i.sub.1.

(22) The following table represents an FPP of order n=2 with parameters (7,3,1). The first column represents block B.sub.0, corresponding to roots {KR.sub.0, KR.sub.2, KR.sub.4}, the second column represents block B.sub.1, corresponding to roots {KR.sub.1, KR.sub.3, KR.sub.4}, etc. According to the clever distribution, node i (with iε{0, 1, 2, . . . }) is assigned to block B.sub.j with:
j≡i (mod n.sup.2+n+1).

(23) ##STR00001##

(24) For instance, node 8 is assigned to block B.sub.1 and therefore its Keying Material, denoted KM.sup.(8), is given by the set of shares:
KM.sup.(8)={KR.sub.b.sub.1,0.sup.(8), KR.sub.b.sub.1,1.sup.(8), KR.sub.b.sub.1,2.sup.(8)}={KR.sub.1.sup.(8), KR.sub.3.sup.(8), KR.sub.4.sup.(8)}.

(25) If node 8 wants establish a key with node 14, it follows the key establishment procedure:

(26) 1. Determine the block identifier j≡14 (mod n.sup.2+n+1), so j=0.

(27) 2. Common root discovery: a Generate the FPP block B.sub.0={1, 3, 4}. b Compare to the own (stored) FPP block B.sub.0={0, 2, 4} to find the common element b=4. c Retrieve the share KR.sub.4.sup.(8) from the Keying Material KM.sup.(8).

(28) 3. Compute the key from the share KR.sub.4.sup.(8) and identifier 14.

(29) One of the main issues with this scheme for instance in combinatorial key pre-distribution methods is step 2 in the key establishment procedure: the discovery of a shared element in two FPP blocks. Because of the limited resources, this discovery should be done as efficiently as possible, i.e., requiring a minimum amount of computational effort, memory, and code size.

(30) State-of-the-art methods proceed as described above, i.e., by generating the elements of the FPP block, comparing it to its own FPP block to find a common element, and retrieving the corresponding share from the keying material. An alternative could be for nodes to send in addition to the node identifier also the elements of their FPP block, although this results in a high communication overhead and authentication problems.

(31) The essential idea of this invention is based on the insight that the value of the shared FPP element is irrelevant—only its position in the respective FPP blocks is needed. So instead of computing the whole FPP block and comparing it to its own (stored) block, a node may directly compute from the block identifiers the position of the shared element in the blocks, and hence the position of the shared keying root in its keying material.

(32) In the following, it will be described one of the possible methods for generating the FPP such that the position of the common element of each set of cryptographic elements is linked to the identifiers of the nodes. This method is designed such as to establish algebraic relations between the positions of the shared element in the blocks and the respective block identifiers. Then, in the operational phase, these relations are used to define a method to directly derive the positions from the block identifiers.

(33) The computational effort and code size required by this method is comparable to the generation of a normal FPP block. Hence, compared to the current method, this method saves on the computational effort and code size needed for comparing the blocks and selecting the common element. Moreover, this method has no additional memory requirements. This is in contrast to the previously described method, where nodes permanently store the elements of their own FPP block and temporarily store those of other nodes.

(34) For generating an FPP with parameters (n.sup.2+n+1, n+1, 1) for n prime, it was proposed to use a set of mutually orthogonal latin squares (MOLS) that aid in defining which elements are to be included in which block. This procedure has been adapted to define a more convenient indexing and arrangement of blocks, and specify concrete formulas for the generation of these blocks. As a consequence, it establishes well-defined relations between pairs of block identifiers and the position of their shared element in these blocks. These previously lacking relations are then used to specify a method for determining these positions directly, without the need for generating and comparing the FPP blocks.

(35) For the generation of the FPPs, in the deployment phase, for n prime, it is defined the n×n matrix M:

(36) M = ( 0 .Math. n - 1 n .Math. 2 n - 1 .Math. .Math. n 2 - n .Math. n 2 - 1 )

(37) The rows and columns of M are indexed from 0 to n−1, so the elements of M are determined by
M.sub.i,j=i.Math.n+j for 0≦i,j≦n−1.

(38) Define the n×n matrices L.sup.(a) for 0 a n−1, also indexed from 0 to n−1, by:
L.sup.(a).sub.k,l=(a.Math.k+l).sub.mod n for 0≦k,l≦n−1.

(39) An applicative example, for n=3, we have the matrices:

(40) M = ( 0 1 2 3 4 5 6 7 8 ) , L ( 0 ) = ( 0 1 2 0 1 2 0 1 2 ) , L ( 1 ) = ( 0 1 2 1 2 0 2 0 1 ) , L ( 2 ) = ( 0 1 2 2 0 1 1 2 0 )

(41) The construction of the FPP blocks B.sub.0, . . . , B.sub.n.sub.2.sub.+n, where B.sub.j={b.sub.j,0, . . . , b.sub.j,n}⊂{0, . . . n.sup.2+n}, is defined as follows. For 0≦j≦n.sup.2−1 and 0≦k≦n−1, the elements b.sub.j,k adopt a value from matrix M. Namely, the index k indicates the row number of M, while the value L.sup.(a).sub.k,l indicates the column number, where l=j (mod n) and a=└j/n┘, where └ ┘ is the floor operator, which for n≦x<n+1, it returns n. Hence, For 0≦j≦n.sup.2−1 and 0≦k≦n−1:
b.sub.j,k=M.sub.k,L.sub.(a).sub.k,l=k.Math.n+(k.Math.└j/n┘+j).sub.(mod n) For n.sup.2≦j≦n.sup.2+n−1 and 0≦k≦n−1, the elements b.sub.j,0, . . . , b.sub.j,n−1 are formed by the rows of M, so:
b.sub.j,k=M.sub.j,k=(j−n.sup.2)n+k For 0≦n.sup.2≦n and k=n, the element b.sub.j,k is defined by:
b.sub.j,k=n.sup.2+└j/n┘ For j=n.sup.2+n and 0≦k≦n, the element b.sub.j,k is defined by:
b.sub.j,k=n.sup.2+k
This construction can be described by the following formulas:

(42) b j , k = { kn + ( k .Math. j / n .Math. + j ) ( mod n ) for 0 k n - 1 and 0 j n 2 - 1 n ( j - n 2 ) + k for 0 k n - 1 and n 2 j n 2 + n n 2 + .Math. j / n .Math. for k = n and 0 j n 2 + n - 1 n 2 + n for k = n and j = n 2 + n
Note that because of the direct computation of the positions, this FPP construction does not have to be performed by the nodes. Instead, these relations can be used to directly compute the position of a common element from the FPP block identifiers. Only the party that pre-distributes the keying material to the nodes has to compute the complete FPP.

(43) For n=3, the construction leads to the FPP depicted in the following table:

(44) TABLE-US-00001 j 0 1 2 3 4 5 6 7 8 9 10 11 12 k 0 0 1 2 0 1 2 0 1 2 0 3 6 9 1 3 4 5 4 5 3 5 3 4 1 4 7 10 2 6 7 8 8 6 7 7 8 6 2 5 8 11 3 9 9 9 10 10 10 11 11 11 12 12 12 12

(45) To illustrate the way the elements are selected for 0≦j≦n.sup.2−1 and 0≦k≦n−1, consider for example the column j=5. For 0≦k≦n−1, the elements b.sub.j,k take on the value in M with row number k and the column number equal to value L.sup.(a).sub.k,l. Since here a=└j/n┘=1 and l=j (mod n)=2, the column numbers for M are given by column 2 in the matrix L.sup.(1), so 2, 0, and 1. Hence, the values b.sub.5,0, b.sub.5,1, and b.sub.5,2, are taken from the M's columns 2, 0, and 1, respectively. So {b.sub.5,0, b.sub.5,1, b.sub.5,2}={2,3,7}, as can be seen in the following:

(46) L ( 1 ) = ( 0 1 1 2 2 0 2 0 1 ) l = 2 M = ( 0 1 2 3 4 5 6 7 8 )

(47) A node with identifier i.sub.1 computes once and stores the block identifier j.sub.1=i.sub.1 mod (n.sup.2+n+1) and auxiliary parameter a.sub.1=└j.sub.1/n┘. Note that unlike before, there is no need for node i.sub.1 to compute and store the whole FPP block. To establish a shared key with another node, i.sub.2, the node computes j.sub.2=i.sub.2 mod(n.sup.2+n+1) and a.sub.2=└1.sub.2 n┘. To determine the positions k.sub.1 and k.sub.2 in the keying material of the nodes i.sub.1 and i.sub.2, respectively, we can distinguish the following five cases (without loss of generality we assume that j.sub.1≦j.sub.2).

(48) 1 j.sub.1=j.sub.2. In this case the two nodes share the same FPP block and any element in the block can be picked. Picking always the same element (e.g., the first one) would decrease the security. Therefore the selected element should depend on the node identifiers, be uniformly distributed over the n+1 elements, and be straightforwardly computable for both nodes. This is achieved by setting:

(49) k 1 = k 2 = .Math. i 1 - i 2 .Math. n 2 + n + 1 ( mod n + 1 ) .

(50) Note that by definition j.sub.1=j.sub.2 implies that |i.sub.1−i.sub.2| is divisible by n.sup.2+n+1, so this division is a cheap operation as it requires no modular arithmetic.

(51) 2 j.sub.j≠j.sub.2 and a.sub.1=a.sub.2. In this case, a.sub.1 and a.sub.2 cannot be equal to n, for otherwise j.sub.1 would equal j.sub.2. Hence, 0≦j.sub.1,j.sub.2≦n.sup.2+n−1 and consequently:
b.sub.j.sub.1.sub.,n=n.sup.2+└j.sub.1/n┘=n.sup.2+a.sub.1=n.sup.2+a.sub.2=n.sup.2+└j.sub.2/n┘=b.sub.j.sub.2.sub.,n.

(52) So the common element is at position n in both blocks, so k.sub.1=k.sub.2=n.

(53) 3 a.sub.1<a.sub.2=n+1. Then j.sub.2=n.sup.2 n, and it is easily verified that for all k.sub.2 we can write b.sub.j.sub.2.sub.,k.sub.2=n.sup.2+k.sub.2. Moreover, for k.sub.2=a.sub.1 it holds that:
b.sub.j.sub.1.sub.,n=n.sup.2+└j.sub.1/n┘=n.sup.2+a.sub.1=n.sup.2+k.sub.2=b.sub.j.sub.2.sub.,k.sub.2.

(54) Hence, the common element is located at position k.sub.1=n in block B.sub.j.sub.1 and position k.sub.2=a.sub.1 in block B.sub.j.sub.2.

(55) 4 a.sub.1<a.sub.2=n. In this case, 0≦j.sub.1≦n.sup.2−1 and n.sup.2≦j.sub.2≦n.sup.2+n−1. Note that by construction j.sub.2−n.sup.2 indicates the row of M that defines the first n elements of block B.sub.j.sub.2, namely b.sub.j.sub.2.sub.,0, . . . , b.sub.j.sub.2.sub.,n-1. Since for 0≦j.sub.1≦n.sup.2−1 the first element of block B.sub.j.sub.1 comes from the first row of M, the second element from the second row and so on, we find that k.sub.1=j.sub.2−n.sup.2. Furthermore, the column number in M of that particular element, given by L.sup.(a.sup.1.sup.).sub.k.sub.1.sup.,1=(a.sub.1.Math.k.sub.1+l).sub.mod n=(a.sub.1.Math.j.sub.2+j.sub.1).sub.mod n, indicates the position k.sub.2of that element in B.sub.j.sub.2. Indeed, for k.sub.1=j.sub.2−n.sup.2 and k.sub.2=(j.sub.1+a.sub.1j.sub.2).sub.mod n we find:

(56) b j 1 , k 1 = k 1 n + ( k 1 .Math. j 1 / n .Math. + j 1 ) mod n = n ( j 2 - n 2 ) + ( j 2 .Math. j 1 / n .Math. + j 1 ) mod n = n ( j 2 - n 2 ) + ( j 2 a 1 + j 1 ) mod n = n ( j 2 - n 2 ) + k 2 = b j 2 , k 2 .

(57) 5 a.sub.1<a.sub.2<n. For k.sub.1=k.sub.2=((j.sub.2−j.sub.1)/(a.sub.1−a.sub.2)).sub.mod n, we have a.sub.1k.sub.1+j.sub.1=a.sub.2k.sub.2+j.sub.2 (mod n).

(58) Then:

(59) b.sub.j.sub.1.sub.,k.sub.1=k.sub.1n+(k.sub.1a.sub.1+j.sub.1).sub.mod n=k.sub.2n+(k.sub.2a.sub.2+j.sub.2).sub.mod n=b.sub.j.sub.2.sub.,k.sub.2.

(60) Hence in this case, the positions are given by:

(61) k 1 = k 2 = ( j 2 - j 1 a 1 - a 2 ) mod n .

(62) This is the only case where a relatively expensive modular division is needed to compute the positions. This computation can be performed by trying k=0, 1, 2, . . . for the equality
(a.sub.1−a.sub.2)k=j.sub.2−j.sub.1 (mod n).

(63) The above can be summarized in the following algorithm for the detection of the position of the common element in the FPP blocks for a node i.sub.1 with another node i.sub.2. Here we assume that node i.sub.1 has already computed and stored block identifier j.sub.1=i.sub.1 mod(n.sup.2+n+1) and auxiliary variable a.sub.1=└j.sub.1/n┘. Compute j.sub.2=i.sub.2 mod(n.sup.2+n+1) and a.sub.2=└j.sub.2/n┘. Set A=argmin(j.sub.1,j.sub.2) and B=argmax(j.sub.1,j.sub.2). If j.sub.A=j.sub.B then

(64) k A = k B = .Math. i A - i B .Math. n 2 + n + 1 ( mod n + 1 ) . Else if a.sub.A=a.sub.B then k.sub.A=k.sub.B=n. Else if a.sub.B=n+1 then k.sub.A=n and k.sub.B=a.sub.A. Else if a.sub.B=n then k.sub.A=j.sub.B−n.sup.2 and k.sub.B=j.sub.A+a.sub.A.Math.j.sub.B (mod n). Else

(65) k A = k B = j B - j A a A - a B ( mod n ) .

(66) This embodiment of the invention finds application in ZigBee networks as a key feature that improves the performance of λ-secure key distribution schemes used to bootstrap security in resource-constrained wireless nodes for patient monitoring and distributed wireless control networks. Additionally, this embodiment can also be applied to improve the performance of those systems that require the computation of combinatorial distributions based on finite projective planes (FPPs).

(67) Other algorithms or definitions of the FPPs could be used as soon as there exists a relationship between the position in the list of the elements common to a pair of nodes and their identifiers.

(68) WSNs have a huge number of potential applications including environmental monitoring (e.g. glaciers, fires), metering, commercial building automation or patient monitoring. In order to provide a common and interoperable protocol for these WSNs applications, the ZigBee Alliance is developing a new low data rate, long battery life, and secure protocol for WSN nodes.

(69) In the present specification and claims the word “a” or “an” preceding an element does not exclude the presence of a plurality of such elements. Further, the word “comprising” does not exclude the presence of other elements or steps than those listed.

(70) From reading the present disclosure, other modifications will be apparent to persons skilled in the art. Such modifications may involve other features which are already known in the art of radio communication and the art of transmitter power control and which may be used instead of or in addition to features already described herein.