1. The School of Electrical Engineering and Computer Science (EECS) CS/ECE 419/478 Applied Cryptography ADVANCED KEY ESTABLISHMENT AND GROUP KEY MANAGEMENT METHODS Credits: Dr. Peng Ning, Dr. Wensheng Zhang Dr. Attila A. Yavuz CS/ECE 419/478 – Introduction to Network Security1

2. OSU EECS Outline Group Diffie-Hellman Key Exchange –GDH.1, GDH.2, GDH.3 Tree-based Group Diffie-Hellman Key Exchanged –Member Join-Leave, Partition, Merges Group Key Distribution Methods –Forward and backward security –Iolus –Logical Key Hierarchy –Key Graphs

3. The School of Electrical Engineering and Computer Science (EECS) GROUP KEY MANAGEMENT (I) Group Diffie-Hellman Key Exchange Schemes Dr. Attila A. Yavuz 3

4. OSU EECS 4 Group Communication A group consists of multiple members Messages sent by one sender are received by all the other group members

5. OSU EECS 5 Secure Group Communication Messages sent by a valid group member can only be understood by the other valid members –Others may receive the messages, but are unable to understand them –Typical approach: Encrypt the group messages with a key only known to the valid group members

6. OSU EECS 6 Group Key Management Group key management –Ensure only valid group members have access to the group key –The REAL problem for secure group communication

7. OSU EECS 7 Desired Properties of Group Key Management Group key secrecy –It is at least computationally infeasible for an adversary to discover any group key Forward secrecy –A passive adversary who knows a contiguous subset of old group keys cannot discover subsequent group keys –Do not confuse with PFS Backward secrecy –A passive adversary who knows a contiguous subset of group keys cannot discover preceding group keys Group key independence –The combination of forward and backward secrecy.

8. OSU EECS 8 Stateful v.s. Stateless Stateful –Decryption of new key depends on previous keys –Group member should keep track of all rekeying messages –Members should be online Stateless –Decryption of new key depends on establishment key set that is assigned when member join –Group members don’t need to keep track of rekeying messages –Members can be offline

9. OSU EECS 9 Types of Group Key Management Group key agreement –Group keys are determined collectively by all group members –Usually extended from D-H key exchange Group key distribution –Group keys are determined and distributed by a group key manager

10. OSU EECS 10 Outline Review of the basic two-party D-H key exchange Generic n-party D-H key agreement Three specific protocols –GDH.1 –GDH.2 –GDH.3

11. OSU EECS 11 Two-Party Diffie-Hellman Key Exchange AliceBob Pick secret S a randomly Compute T A = g S a mod p Send T A to Bob Compute T B S a mod p Pick secret S b randomly Compute T B = g S b mod p Send T B to Bob Compute T A S b mod p Shared key is reached at both parties: g S a S b mod p

12. OSU EECS 12 Notations n: number of participants in the protocol –  : exponentiation base –q: order of the algebraic group –M i : i-th group member, i is the index –N i : random exponent generated by group member M i –S: subsets of {N 1, …, N n } –  (S): product of all elements in subset S –K n : group key shared among n members

13. OSU EECS 13 Generic n-Party D-H Key Agreement Setup  All n participants agree on a cyclic group G, of order q and the base   Each member M i chooses a random value N i  G

14. OSU EECS 14 Generic n-Party D-H Key Agreement (Cont’d) Generic Protocol:  Distributively revealing and computing a subset of {   (S) |S  {N 1, …, N n }}  From these subsets, member M i computes  N 1 …N i-1 N i+1 …N n mod q  Finally, M i computes the shared key K =  N 1 … N n mod q

15. OSU EECS 15 Generic n-Party D-H Key Agreement (Cont’d) Security –The generic n-party D-H protocol is secure if the 2-party D-H protocol is secure –Proof: by induction on n Remaining problem –Consider {   (S) |S  {N 1, …, N n }} –What (S) to distribute, and how?

16. OSU EECS 16 GDH.1 Consists of an upflow stage and a downflow stage M1M1 M2M2 M3M3 MnMn … M1M1 M2M2 M3M3 MnMn … Upflow: Downflow:

17. OSU EECS 17 GDH.1 (Cont’d)  Upflow  M i receives the set {  N 1,  N 1 N 2, …,  N 1 … N i-1 } and forwards to M i+1 {  N 1,  N 1 N 2, …,  N 1 … N i }, i  [1, n-1]  Example  M 4 receives the set {  N 1,  N 1 N 2,  N 1 N 2 N 3 }  and forwards to M 5 {  N 1,  N 1 N 2,  N 1 N 2 N 3,  N 1 N 2 N 3 N 4 }

18. OSU EECS 18 GDH.1 (Cont’d) Downflow  M i uses the last intermediate value to compute K n (1<i<=n)  M i then raises all remaining values to the power of N i and forwards the resulting set to M i-1  Example  M 4 receives the set {  N 5,  N 1 N 5,  N 1 N 2 N 5,  N 1 N 2 N 3 N 5 }  and forwards to M 3 {  N 5 N 4,  N 1 N 5 N 4,  N 1 N 2 N 5 N 4 }

19. OSU EECS 19 GDH.1 (Cont’d) How many rounds? –__________ How many messages in GDH.1? –__________ How many exponentiations per M i ? –__________ M1M1 M2M2 M3M3 MnMn … M1M1 M2M2 M3M3 MnMn … Upflow: Downflow:

20. OSU EECS 20 GDH.2 Consists of an upflow stage and a broadcast stage –Use broadcast to reduce communication overhead M1M1 M2M2 M3M3 MnMn … M1M1 M2M2 M3M3 MnMn … Upflow: Broadcast:

21. OSU EECS 21 GDH.2 (Cont’d)  Upflow  M i composes i intermediate values and one cardinal value and forwards the resulting set to M i+1 (i < n)  Example:  M 4 receives the set {  N 1 N 2 N 3,  N 1 N 2,  N 1 N 3,  N 2 N 3 }  and forwards to M 5 {  N 1 N 2 N 3 N 4,  N 1 N 2 N 3,  N 1 N 2 N 4,  N 1 N 3 N 4,  N 2 N 3 N 4 }

22. OSU EECS 22 GDH.2 (Cont’d) Downflow  M n raises every intermediate value to the power of N n broadcasts the resulting values to all group members, in another word  M n broadcasts the set {  N 1 … N i-1 N i+1 … N n } to M i (i < n)  Example  M 4 receives the set {  N 1 N 2 N 3 N 5 } from M 5 (Assume n=5)

23. OSU EECS 23 GDH.2 (Cont’d) How many rounds? –__________ How many messages in GDH.2? –__________ How many exponentiations per M i ? –__________ M1M1 M2M2 M3M3 MnMn … M1M1 M2M2 M3M3 MnMn … Upflow: Broadcast:

24. OSU EECS 24 GDH.3 Consists of an upflow stage, a broadcast stage, a response stage, and final broadcast stage –Reduce the number of exponentiations per group member. M1M1 M2M2 M3M3 M n-1 … M1M1 M2M2 M3M3 … Upflow: Broadcast: M1M1 M2M2 M3M3 MnMn … M1M1 M2M2 M3M3 Response: MnMn

25. OSU EECS 25 GDH.3 (Cont’d)  Upflow  M i (i  [1, n-2]) receives  N 1 … N i-1, and  forwards to M i+1  N 1 … N i,  Broadcast  M n-1 broadcasts  N 1 … N n-1 to M i (i  n-1)

26. OSU EECS 26 GDH.3 (Cont’d)  Response  M i (i < n) factors out its own component and forwards  N 1 … N i-1 N i+1 … N n-1 to M n  Broadcast  M n raises every input to the power of N n and broadcasts the resulting set {  N 1 … N i-1 N i+1 … N n } to M i (i < n)

27. OSU EECS 27 GDH.3 (Cont’d) How many rounds? –__________ How many messages in GDH.2? –__________ How many exponentiations per M i ? –__________

28. OSU EECS 28 Comparison GDH.1 GDH.2 GDH.3 Rounds 2(n-1) n n+1 Messages 2(n-1) n 2n-1 Total message size n(n-1) (n-1)(n/2+2)-1 3(n-1) Exp ops per M i i+1, n i+1, n 4, 2, n Total exp ops (n+3)n/2-1 (n+3)n/2-1 5n-6

29. OSU EECS 29 Alteration of Group Membership GDH.1 does not support efficient member addition/deletion. GDH.2 & GDH.3 –Member addition Consider the new member as the new M n+1 –Member deletion M n regenerates its secret N n and re-executes the protocol from the second stage.

30. The School of Electrical Engineering and Computer Science (EECS) GROUP KEY MANAGEMENT (II) Tree-based Group Diffie-Hellman Key Exchange Schemes Dr. Attila A. Yavuz 30

31. OSU EECS 31 Membership Operations Formation Member add Member leave Group merge Group partition

32. OSU EECS 32 Membership Operations Join: a prospective member wants to join Leave: a member wants to (or is forced to) leave Partition: a group is split into smaller groups –Network failure: network event causes disconnectivity –Explicit partition: application decides to split the group Merge: two or more groups merge to form one group –Network fault heal: previously disconnected partitions reconnect –Explicit merge: application decides to merge multiple pre- existing groups into a single group

33. OSU EECS 33 Tree-Based Group Diffie Hellman Simple: One function is enough to implement it Fault-tolerant: Robust against cascade faults Secure –Contributory –Provable security –Key independence Efficient –d is the height of key tree ( < O(log 2 N)), and N is the number of users –Maximum number of exponentiations per node 3d

34. OSU EECS 34 Key Tree (General) n4n4 n5n5 gn4n5gn4n5 n6n6 n1n1 n2n2 n3n3 gn2n3gn2n3 gn1gn2n3gn1gn2n3 g g n 1 g n 2 n 3 g n 6 g n 4 n 5 gn6gn4n5gn6gn4n5

35. OSU EECS 35 Key Tree (n 3 ’s view) gn4gn4 gn5gn5 ggn4n5ggn4n5 gn6gn6 gn1gn1 gn2gn2 n3n3 gn2n3gn2n3 gn1gn2n3gn1gn2n3 GROUP KEY ggn6gn4n5ggn6gn4n5 = g g n 1 g n 2 n 3 g n 6 g n 4 n 5 n3n3 gn2n3gn2n3 gn1gn2n3gn1gn2n3 GROUP KEY Key-path: Set of nodes on the path from member node to root node gn1gn1 gn2gn2 ggn6gn4n5ggn6gn4n5 Co-path: Set of siblings of nodes on the key-path Member knows all keys on the key-path and all blinded keys Any member who knows blinded keys on every nodes and its session random can compute the group key.

36. OSU EECS 36 Join (n 3 ’s view) n3n3 gn1gn1 gn2gn2 ggn1n2ggn1n2 gn3gn1n2gn3gn1n2 gn4gn4 Tree(n 4 ) n3n3

37. OSU EECS 37 n3n3 Join (n 3 ’s view) gn1gn1 gn2gn2 ggn1n2ggn1n2 gn3gn1n2gn3gn1n2 gn4gn4 n3n3 gn3n4gn3n4 ggn1n2gn3n4ggn1n2gn3n4

38. OSU EECS 38 Leave (n 2 ’s view) gn1gn1 n2n2 gn1n2gn1n2 gn3gn3 gn4gn4 ggn1n2gn3n4ggn1n2gn3n4 ggn3n4ggn3n4 n2n2 gn1gn1

39. OSU EECS 39 Leave (n 2 ’s view) n2n2 gn1n2gn1n2 gn3gn3 gn4gn4 ggn1n2gn3n4ggn1n2gn3n4 ggn3n4ggn3n4 n2n2

40. OSU EECS 40 Leave (n 2 ’s view) gn3gn3 gn4gn4 ggn3n4ggn3n4 n 2’ g n 2’ g n 3 n 4

41. OSU EECS 41 Partition (n 5 ’s view) gn4gn4 n5n5 gn4n5gn4n5 gn1gn1 gn3gn3 ggn2n3ggn2n3 ggn1gn2n3ggn1gn2n3 g g n 1 g n 2 n 3 g n 6 g n 4 n 5 gn6gn4n5gn6gn4n5 n6n6 n2n2 gn6gn6 gn2gn2 gn6gn6 gn2gn2 n5n5

42. OSU EECS 42 Partition (n 5 ’s view) gn4gn4 n5n5 gn4n5gn4n5 gn1gn1 gn3gn3 gn2n3gn2n3

43. OSU EECS 43 Partition (n 5 ’s view) gn1gn1 gn3gn3 gn4n5gn4n5 gn4gn4 n5n5 n5n5 gn3gn3 n5n5 Change share n 5’ ggn1n3ggn1n3 g n 4 n 5’ g g n 1 n 3 g n 4 n 5’

44. OSU EECS 44 Partition: Both Sides gn4gn4 n5n5 gn1gn1 gn3gn3 gn6gn6 gn2gn2

45. OSU EECS 45 Partition: Both sides (N 5 and N 6 ) gn1gn1 gn3gn3 gn2gn2 ggn1n3ggn1n3 n 5’ g n 4 n 5’ g g n 1 n 3 g n 4 n 5’ g n 2 n 6’ n6n6 n2n2 n 6’ gn4gn4

46. OSU EECS 46 Merge (N 2 ’s view) ggn3n4ggn3n4 gn4gn4 ggn5gn3n4ggn5gn3n4 gn5gn5 gn3gn3 ggn1n2gn5gn3n4ggn1n2gn5gn3n4 ggn6n7ggn6n7 gn7gn7 gn6gn6 gn1n2gn1n2 n2n2 gn1gn1 n2n2 gn1gn1 gn1n2gn1n2 n2n2

47. OSU EECS 47 Merge (to intermediate node) ggn3n4ggn3n4 gn4gn4 ggn5gn3n4ggn5gn3n4 gn5gn5 gn3gn3 n1n1 n2n2 gn1gn1 gn1n2gn1n2 ggn6n7ggn6n7 gn7gn7 gn6gn6 n2n2 ggn1n2gn6n7ggn1n2gn6n7 gggn1n2gn6n7gn5gn3n4gggn1n2gn6n7gn5gn3n4

48. OSU EECS 48 Tree Management: do one’s best Join or Merge Policy –Join to leaf or intermediate node, if height of the tree will not increase. Leave or Partition policy –No one can expect who will leave or be partitioned out. –No policy for leave or partition event Successful –Still maintaining logarithmic (height < 2 log 2 N)

49. OSU EECS 49 Discussion Efficiency –Average number of mod exp: 2 log 2 n –Maximum number of round: log 2 n Robustness is easily provided due to self- stabilization property

50. The School of Electrical Engineering and Computer Science (EECS) GROUP KEY MANAGEMENT (III) Group Key Distribution a)Iolus b)LKH, Key Graphs Dr. Attila A. Yavuz 50

51. OSU EECS 51 Outline Overview of group key distribution A naïve solution Iolus: A Framework for Scalable Secure Multicasting Logical key hierarchy (LKH)

52. OSU EECS 52 Group Key Distribution Group session keys are determined by the group manager –Usually used for large groups. Group key manager Group members

53. OSU EECS 53 A Naïve Solution Use a separate secure unicast connection from the group manager to EACH group member. Requirement –Each client shares a unique key with the controller. Poor scalability: –n secure unicast connections –n secret keys

54. OSU EECS 54 Problems Specific to Group Communication “1 affects n” problem –The actions of one member affects the entire group Group key manager Old members New member joins

55. OSU EECS 55 Iolus Divide a large group into smaller groups Introduce entities that manage and connect the subgroups –Group security controllers (GSC) Control the entire group –Group security intermediaries (GSI) Control the subgroups on behalf of GSC –GSC and GSI are both referred to as group security agent (GSA) –With GSC as the root, GSAs form a hierarchy of subgroups A lower-level GSA is a member of the group headed by the higher- level GSA

56. OSU EECS 56 Iolus (Cont’d)

57. OSU EECS 57 Iolus (Cont’d) Joins –GSA generates K GSA-MBR –Store this key along with other information –Send K GSA-MBR to the new member in a secure channel –Generate a new group key K’ G –Send {K’ G }K G to the group –Send K’ G to the new member in a secure channel

58. OSU EECS 58 Iolus (Cont’d) Leaves –Generate a new group key K’ G –Send K’ G to each member MBR individually in the secure channel encrypted with K GSA-MBR

59. OSU EECS 59 Iolus (Cont’d) Data transmission –Data retransmitted within each subgroup

60. OSU EECS 60 Iolus (Cont’d) Iolus for group key management –Replace the data with the group key in data transmission

61. OSU EECS 61 Logical entities Group key members Group Controller N: number of members D: tree degree depth  1 ()lnN () d Key Tree Approaches Two types of keys –SEKs (Session Encryption Key) –KEKs (Key Encryption Key) A Group Controller constructs a tree based hierarchy of KEKs

62. OSU EECS 62 Logical Key Hierarchy (LKH) Keys are organized in a (logical) hierarchical tree –Group key is located at the root –Key encryption keys are the non-root, non-leave nodes –Each member corresponds to one leave node Updates the group key and the key encryption key by means of the encryption of key-nodes Rekey with only O(logN) messages

63. OSU EECS 63 K 32 K 31 K 33 K 34 K 35 K 36 K 37 K 38 K 22 K 21 K 23 K 24 K 11 K 12 K0K0K0K0GKCs M1M1M1M1 M2M2M2M2 M4M4M4M4 M6M6M6M6 M5M5M5M5 M3M3M3M3 M7M7M7M7 M8M8M8M8 N secure channels LKH (Cont’d) Initialization

64. OSU EECS 64 GKCs K 32 K 31 K 34 K 35 K 36 K 37 K 38 K 22 K 21 K 23 K 24 K 11 K 12 K0K0K0K0 M1M1M1M1 M2M2M2M2 M4M4M4M4 M6M6M6M6 M5M5M5M5 M3M3M3M3 M7M7M7M7 M8M8M8M8 ()lnN () d Rekeying Messages K’ 11 K’ 22 K’ 0 K 34 { K 11 ’} K 34 { K 0 ’} K 34 { K 22 ’} K 21 { K 11 ’} K 21 { K 0 ’} K 12 { K 0 ’} LKH (Cont’d) Member leave

65. OSU EECS 65 GKCs K 32 K 31 K 33 K 34 K 35 K 36 K 37 K 38 K 22 K 21 K 23 K 24 K 11 K 12 K0K0K0K0 M1M1M1M1 M2M2M2M2 M4M4M4M4 M6M6M6M6 M5M5M5M5 M3M3M3M3 M7M7M7M7 M8M8M8M8 ()lnN () d Rekeying messages K’ 21 K’ 11 K’ 0 K 21 { K 21 ’} K 11 { K 11 ’} K 0 { K 0 ’} K 31 { K 21 ’} K 31 { K 11 ’} K 31 { K 0 ’} LKH (Cont’d) Member join

66. OSU EECS 66 User, Key, or Group Oriented Rekeying Different performance/reliability trade-offs User-oriented re-keying –Grouping re-keying messages by users Key-oriented re-keying –Grouping re-keying messages by keys Group-oriented re-keying –Putting all re-keying messages together to generate a big, fat message

67. OSU EECS 67 Example User oriented Key oriented Group oriented