Finding credential defining the role: count = 1 oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA] indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]} indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]} indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]} -------BEGIN-OPPO-SEARCH------------ ###Adding ACM.CTFrep.CTFcontestant,node ACM.CTFrep.CTFcontestant -------END-OPPO-SEARCH-------------- -------BEGIN-OPPO-SEARCH------------ -------END-OPPO-SEARCH-------------- Getting oppo chain from ACM.CTFrep.CTFcontestant to ACM.CTFrep.CTFcontestant source = ACM.CTFrep.CTFcontestant target = ACM.CTFrep.CTFcontestant node table = {ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant} Finding credential defining the role name: CTFcontestant count = 1 -------BEGIN-SENS-SEARCH------------ searching for USC.CTFcontestant ###Adding USC.CTFcontestant,USC.CTFcontestant<-Alice ###Adding Alice,node Alice ###Adding Alice,node Alice map = [2]{Alice=[node Alice]} --------END-SENS-SEARCH------------- -------BEGIN-SENS-SEARCH------------ searching for USC.CTFcontestant map = [2]{Alice=[node Alice]} --------END-SENS-SEARCH------------- ---------BEGIN-SENS-CHAIN---------- Getting sens chain from USC.CTFcontestant to Alice source = USC.CTFcontestant target = Alice node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant} @@@@@ this = USC.CTFcontestant solutions = [2]{Alice=[node Alice]} soln = [node Alice] @@@@@ next = Alice @@@@@ children = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]} results = [USC.CTFcontestant<-Alice] -----------END-SENS-CHAIN---------- ###Adding USC.CTFcontestant,node USC.CTFcontestant ###Adding USC.CTFcontestant,USC.CTFcontestant<-Alice ###Adding Alice,node Alice ###Adding Alice,node Alice source = USC.CTFcontestant target = Alice node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant} @@@@@ this = USC.CTFcontestant solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]} soln = [node Alice] @@@@@ next = Alice @@@@@ children = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]} Finding credential defining the role: count = 1 count = 2 count = 3 oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA] indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]} indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]} indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]} -------BEGIN-OPPO-SEARCH------------ ###Adding USC,node USC -------END-OPPO-SEARCH-------------- -------BEGIN-OPPO-SEARCH------------ -------END-OPPO-SEARCH-------------- Getting oppo chain from USC to USC source = USC target = USC node table = {USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant} -------BEGIN-OPPO-SEARCH------------ ###Adding MIT,node MIT -------END-OPPO-SEARCH-------------- -------BEGIN-OPPO-SEARCH------------ -------END-OPPO-SEARCH-------------- Getting oppo chain from MIT to MIT source = MIT target = MIT node table = {USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT} -------BEGIN-OPPO-SEARCH------------ ###Adding UCLA,node UCLA -------END-OPPO-SEARCH-------------- -------BEGIN-OPPO-SEARCH------------ -------END-OPPO-SEARCH-------------- Getting oppo chain from UCLA to UCLA source = UCLA target = UCLA node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}