Patient provides to HAP his attributes a 1 , , a n and attach them to k0

I.1 Patient HAP : k 0 , ( a 1 , v 1 ) , , ( a n , v n )

Patient saves in his wallet the necessary information allowing him to request the values of attributes a 1 , , a n

I.2 Patient Wallet : HAP, a 1 , , a n , k0; { k 0 1 } p w d

HAP saves in his database collected EMR and attaches it to k0

I.3 HAP HAP-DB : k0, { ( a 1 , υ 1 , T 1 ) , , ( a n , υ n , T n ) } k E M R , { k } k c