em. Currently, we EFTA01612900 Protocol 3 Access Control Protocol L: procedure HANDLEAccEssTX(pk.kig, m) 2: s 4— 0 3: pk:g, pk:;:, POLICY,, = Parse(m) 4: if pkikis, = pk:i; then 5: L[7-i(pkts,)] = m 6: s4-1 7: end if 8: return 9: end procedure Protocol 4 Storing or Loading Data I: proc