Context Navigation

rbtm.log @ bd3e314

axis_examplecompt_changesinfo-opsversion-1.30version-2.00version-3.01version-3.02

Last change on this file since bd3e314 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago
ABAC sources from Cobham
Property mode set to `100644`
File size: 3.9 KB

Rev	Line
[8780cbec]	1	Finding credential defining the role: <GENI.CTFaccess>
	2	count = 1
	3	oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
	4	indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
	5	indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
	6	indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]}
	7	-------BEGIN-OPPO-SEARCH------------
	8	###Adding ACM.CTFrep.CTFcontestant,node ACM.CTFrep.CTFcontestant
	9	-------END-OPPO-SEARCH--------------
	10	-------BEGIN-OPPO-SEARCH------------
	11	-------END-OPPO-SEARCH--------------
	12	Getting oppo chain from ACM.CTFrep.CTFcontestant to ACM.CTFrep.CTFcontestant
	13	source = ACM.CTFrep.CTFcontestant
	14	target = ACM.CTFrep.CTFcontestant
	15	node table = {ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant}
	16	Finding credential defining the role name: CTFcontestant
	17	count = 1
	18	-------BEGIN-SENS-SEARCH------------
	19	searching for USC.CTFcontestant
	20	###Adding USC.CTFcontestant,USC.CTFcontestant<-Alice
	21	###Adding Alice,node Alice
	22	###Adding Alice,node Alice
	23	map = [2]{Alice=[node Alice]}
	24	--------END-SENS-SEARCH-------------
	25	-------BEGIN-SENS-SEARCH------------
	26	searching for USC.CTFcontestant
	27	map = [2]{Alice=[node Alice]}
	28	--------END-SENS-SEARCH-------------
	29	---------BEGIN-SENS-CHAIN----------
	30	Getting sens chain from USC.CTFcontestant to Alice
	31	source = USC.CTFcontestant
	32	target = Alice
	33	node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
	34
	35	@@@@@ this = USC.CTFcontestant
	36	solutions = [2]{Alice=[node Alice]}
	37	soln = [node Alice]
	38
	39	@@@@@ next = Alice
	40
	41	@@@@@ children = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
	42	results = [USC.CTFcontestant<-Alice]
	43	-----------END-SENS-CHAIN----------
	44
	45	###Adding USC.CTFcontestant,node USC.CTFcontestant
	46	###Adding USC.CTFcontestant,USC.CTFcontestant<-Alice
	47	###Adding Alice,node Alice
	48	###Adding Alice,node Alice
	49	source = USC.CTFcontestant
	50	target = Alice
	51	node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
	52
	53	@@@@@ this = USC.CTFcontestant
	54	solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]}
	55	soln = [node Alice]
	56
	57	@@@@@ next = Alice
	58
	59	@@@@@ children = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
	60	Finding credential defining the role: <ACM.CTFrep>
	61	count = 1
	62	count = 2
	63	count = 3
	64	oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
	65	indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
	66	indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
	67	indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]}
	68	-------BEGIN-OPPO-SEARCH------------
	69	###Adding USC,node USC
	70	-------END-OPPO-SEARCH--------------
	71	-------BEGIN-OPPO-SEARCH------------
	72	-------END-OPPO-SEARCH--------------
	73	Getting oppo chain from USC to USC
	74	source = USC
	75	target = USC
	76	node table = {USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant}
	77	-------BEGIN-OPPO-SEARCH------------
	78	###Adding MIT,node MIT
	79	-------END-OPPO-SEARCH--------------
	80	-------BEGIN-OPPO-SEARCH------------
	81	-------END-OPPO-SEARCH--------------
	82	Getting oppo chain from MIT to MIT
	83	source = MIT
	84	target = MIT
	85	node table = {USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	86	-------BEGIN-OPPO-SEARCH------------
	87	###Adding UCLA,node UCLA
	88	-------END-OPPO-SEARCH--------------
	89	-------BEGIN-OPPO-SEARCH------------
	90	-------END-OPPO-SEARCH--------------
	91	Getting oppo chain from UCLA to UCLA
	92	source = UCLA
	93	target = UCLA
	94	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format