# Initial configuration for Alice [EntityID] SEAdmirKDR [SelfReachable] SE.usr<--SEAdmirKDR [PolicyReachable] SEAdmirKDR.readsSELocs<--USEUCOM.NRetTacUsr SEAdmirKDR.readsSELocs<--SE.usr [IssuerTraceable] readsSELocs # Can this one be omitted? # Probably there are some other types that don't have to be in here. friendlyUsr [SubjectTraceable] NRetTacUsr assignedNRet usr [AccessControl] [AckPolicy]