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---------- Finding credential defining the role name: CTFcontestant count = 1 -------BEGIN-SENS-SEARCH------------ searching for USC.CTFcontestant 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---------- Finding credential defining the role name: CTFcontestant count = 1 -------BEGIN-SENS-SEARCH------------ searching for USC.CTFcontestant 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----------