Finding credential defining the role: count = 1 count = 2 oppoFrontier = credentials=[SE.friendly<-US, SAdmir.getsSLocs<-SE.usr, SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr] indexByIssuer={SE=[SE.friendly<-US], SAdmir=[SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr, SAdmir.getsSLocs<-SE.usr]} indexByRole={SE.friendly=[SE.friendly<-US], SAdmir.getsSLocs=[SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr, SAdmir.getsSLocs<-SE.usr]} indexBySubject={SE.friendly.usr=[SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr], US=[SE.friendly<-US], SE.usr=[SAdmir.getsSLocs<-SE.usr], USEUCOM.NRetTacUsr=[SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr]} -------BEGIN-OPPO-SEARCH------------ ###Adding SE.usr,node SE.usr -------END-OPPO-SEARCH-------------- -------BEGIN-OPPO-SEARCH------------ -------END-OPPO-SEARCH-------------- Getting oppo chain from SE.usr to SE.usr source = SE.usr target = SE.usr node table = {SE.usr=node SE.usr} @@@@@ creating set of size 0 -------BEGIN-OPPO-SEARCH------------ ###Adding SE.friendly.usr ^ USEUCOM.NRetTacUsr,node SE.friendly.usr ^ USEUCOM.NRetTacUsr -------END-OPPO-SEARCH-------------- -------BEGIN-OPPO-SEARCH------------ -------END-OPPO-SEARCH-------------- Getting oppo chain from SE.friendly.usr ^ USEUCOM.NRetTacUsr to SE.friendly.usr ^ USEUCOM.NRetTacUsr source = SE.friendly.usr ^ USEUCOM.NRetTacUsr target = SE.friendly.usr ^ USEUCOM.NRetTacUsr node table = {SE.friendly.usr ^ USEUCOM.NRetTacUsr=node SE.friendly.usr ^ USEUCOM.NRetTacUsr, SE.usr=node SE.usr} -------BEGIN-LOCAL-SEARCH------------ ###Adding SE.friendly,node SE.friendly ###Adding SE.friendly,SE.friendly<-US ###Adding US,node US ###Adding US,node US -------END-LOCAL-SEARCH-------------- -------BEGIN-OPPO-SEARCH------------ ###Adding US.usr,node US.usr -------END-OPPO-SEARCH-------------- -------BEGIN-SENS-SEARCH------------ searching for SE.usr map = [2]{} --------END-SENS-SEARCH------------- -------BEGIN-SENS-SEARCH------------ searching for USEUCOM.NRetTacUsr ###Adding USEUCOM.NRetTacUsr,USEUCOM.NRetTacUsr<-USN.assignedNRet ###Adding USN.assignedNRet,node USN.assignedNRet ###Adding USN.assignedNRet,node USN.assignedNRet map = [2]{USN.assignedNRet=[node USN.assignedNRet]} --------END-SENS-SEARCH------------- -------BEGIN-SENS-SEARCH------------ searching for USEUCOM.NRetTacUsr map = [2]{USN.assignedNRet=[node USN.assignedNRet]} --------END-SENS-SEARCH------------- ---------BEGIN-SENS-CHAIN---------- Getting sens chain from USEUCOM.NRetTacUsr to USN.assignedNRet source = USEUCOM.NRetTacUsr target = USN.assignedNRet node table = {SE.usr=node SE.usr, USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr} @@@@@ this = USEUCOM.NRetTacUsr solutions = [2]{USN.assignedNRet=[node USN.assignedNRet]} soln = [node USN.assignedNRet] @@@@@ next = USN.assignedNRet @@@@@ creating set of size 1 @@@@@ children = [2]{USEUCOM.NRetTacUsr=[USEUCOM.NRetTacUsr<-USN.assignedNRet]} results = [USEUCOM.NRetTacUsr<-USN.assignedNRet] -----------END-SENS-CHAIN---------- -------BEGIN-SENS-SEARCH------------ searching for US.usr ###Adding US.usr,US.usr<-USSH ###Adding USSH,node USSH ###Adding USSH,node USSH map = [2]{USSH=[node USSH]} --------END-SENS-SEARCH------------- -------BEGIN-SENS-SEARCH------------ searching for US.usr map = [2]{USSH=[node USSH]} --------END-SENS-SEARCH------------- ---------BEGIN-SENS-CHAIN---------- Getting sens chain from US.usr to USSH source = US.usr target = USSH node table = {USSH=node USSH, SE.usr=node SE.usr, US.usr=node US.usr, USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr} @@@@@ this = US.usr solutions = [2]{USSH=[node USSH]} soln = [node USSH] @@@@@ next = USSH @@@@@ children = [2]{US.usr=[US.usr<-USSH]} results = [US.usr<-USSH] -----------END-SENS-CHAIN---------- Finding credential defining the role: oppoFrontier = credentials=[US.friendly<-SE, US.friendly<-US] indexByIssuer={US=[US.friendly<-SE, US.friendly<-US]} indexByRole={US.friendly=[US.friendly<-SE, US.friendly<-US]} indexBySubject={US=[US.friendly<-US], SE=[US.friendly<-SE]} count = 1 -------BEGIN-SENS-SEARCH------------ searching for USSH map = [2]{USSH=[node USSH]} --------END-SENS-SEARCH------------- -------BEGIN-LOCAL-SEARCH------------ ###Adding US.friendly,node US.friendly ###Adding US.friendly,US.friendly<-SE ###Adding US.friendly,US.friendly<-US ###Adding SE,node SE ###Adding SE,node SE ###Adding US,node US ###Adding US,node US -------END-LOCAL-SEARCH-------------- -------BEGIN-OPPO-SEARCH------------ ###Adding US.usr,node US.usr -------END-OPPO-SEARCH-------------- -------BEGIN-OPPO-SEARCH------------ ###Adding SE.usr,node SE.usr -------END-OPPO-SEARCH-------------- ###Adding USEUCOM.NRetTacUsr,node USEUCOM.NRetTacUsr ###Adding USEUCOM.NRetTacUsr,USEUCOM.NRetTacUsr<-USN.assignedNRet ###Adding USN.assignedNRet,node USN.assignedNRet ###Adding USN.assignedNRet,node USN.assignedNRet source = USEUCOM.NRetTacUsr target = USN.assignedNRet node table = {USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr} @@@@@ this = USEUCOM.NRetTacUsr solutions = [2]{USN.assignedNRet=[node USN.assignedNRet], USEUCOM.NRetTacUsr=[node USEUCOM.NRetTacUsr]} soln = [node USN.assignedNRet] @@@@@ next = USN.assignedNRet @@@@@ creating set of size 1 @@@@@ children = [2]{USEUCOM.NRetTacUsr=[USEUCOM.NRetTacUsr<-USN.assignedNRet]} ###Adding US.usr,node US.usr ###Adding US.usr,US.usr<-USSH ###Adding USSH,node USSH ###Adding USSH,node USSH source = US.usr target = USSH node table = {USSH=node USSH, US.usr=node US.usr, USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr} @@@@@ this = US.usr solutions = [2]{USSH=[node USSH], US.usr=[node US.usr]} soln = [node USSH] @@@@@ next = USSH @@@@@ children = [2]{US.usr=[US.usr<-USSH]} -------BEGIN-SENS-SEARCH------------ searching for US.usr map = [2]{} --------END-SENS-SEARCH------------- -------BEGIN-SENS-SEARCH------------ searching for SE.usr ###Adding SE.usr,SE.usr<-SAdmir ###Adding SAdmir,node SAdmir ###Adding SAdmir,node SAdmir map = [2]{SAdmir=[node SAdmir]} --------END-SENS-SEARCH------------- -------BEGIN-SENS-SEARCH------------ searching for SE.usr map = [2]{SAdmir=[node SAdmir]} --------END-SENS-SEARCH------------- ---------BEGIN-SENS-CHAIN---------- Getting sens chain from SE.usr to SAdmir source = SE.usr target = SAdmir node table = {SE.usr=node SE.usr, US.usr=node US.usr, SAdmir=node SAdmir} @@@@@ this = SE.usr solutions = [2]{SAdmir=[node SAdmir]} soln = [node SAdmir] @@@@@ next = SAdmir @@@@@ children = [2]{SE.usr=[SE.usr<-SAdmir]} results = [SE.usr<-SAdmir] -----------END-SENS-CHAIN---------- ###Adding SE.usr,node SE.usr ###Adding SE.usr,SE.usr<-SAdmir ###Adding SAdmir,node SAdmir ###Adding SAdmir,node SAdmir source = SE.usr target = SAdmir node table = {SE.usr=node SE.usr, SAdmir=node SAdmir} @@@@@ this = SE.usr solutions = [2]{SE.usr=[node SE.usr], SAdmir=[node SAdmir]} soln = [node SAdmir] @@@@@ next = SAdmir @@@@@ children = [2]{SE.usr=[SE.usr<-SAdmir]} ###Adding USN.assignedNRet,USN.assignedNRet<-USSH ###Adding USSH,node USSH ###Adding USSH,node USN.assignedNRet source = USN.assignedNRet target = USSH node table = {USSH=node USSH, US.usr=node US.usr, USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr} @@@@@ this = USN.assignedNRet solutions = [2]{USN.assignedNRet=[node USN.assignedNRet], USSH=[node USSH]} soln = [node USSH] @@@@@ next = USSH @@@@@ children = [2]{USN.assignedNRet=[USN.assignedNRet<-USSH], US.usr=[US.usr<-USSH]}