Context Navigation

rbtm.log @ 4adc697

version-1.30

Last change on this file since 4adc697 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago
ABAC sources from Cobham
Property mode set to `100644`
File size: 18.2 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	###Adding USC.CTFcontestant,node USC.CTFcontestant
	17	###Adding USC.CTFcontestant,USC.CTFcontestant<-Alice
	18	###Adding Alice,node Alice
	19	###Adding Alice,node Alice
	20	source = USC.CTFcontestant
	21	target = Alice
	22	node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
	23
	24	@@@@@ this = USC.CTFcontestant
	25	solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]}
	26	soln = [node Alice]
	27
	28	@@@@@ next = Alice
	29
	30	@@@@@ children = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
	31	Finding credential defining the role: <ACM.CTFrep>
	32	count = 1
	33	count = 2
	34	count = 3
	35	oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
	36	indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
	37	indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
	38	indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]}
	39	-------BEGIN-OPPO-SEARCH------------
	40	###Adding USC,node USC
	41	-------END-OPPO-SEARCH--------------
	42	-------BEGIN-OPPO-SEARCH------------
	43	-------END-OPPO-SEARCH--------------
	44	Getting oppo chain from USC to USC
	45	source = USC
	46	target = USC
	47	node table = {USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant}
	48	-------BEGIN-OPPO-SEARCH------------
	49	###Adding MIT,node MIT
	50	-------END-OPPO-SEARCH--------------
	51	-------BEGIN-OPPO-SEARCH------------
	52	-------END-OPPO-SEARCH--------------
	53	Getting oppo chain from MIT to MIT
	54	source = MIT
	55	target = MIT
	56	node table = {USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	57	-------BEGIN-OPPO-SEARCH------------
	58	###Adding UCLA,node UCLA
	59	-------END-OPPO-SEARCH--------------
	60	-------BEGIN-OPPO-SEARCH------------
	61	-------END-OPPO-SEARCH--------------
	62	Getting oppo chain from UCLA to UCLA
	63	source = UCLA
	64	target = UCLA
	65	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	66	Finding credential defining the role: <GENI.CTFaccess>
	67	count = 1
	68	oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
	69	indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
	70	indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
	71	indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]}
	72	-------BEGIN-OPPO-SEARCH------------
	73	-------END-OPPO-SEARCH--------------
	74	-------BEGIN-OPPO-SEARCH------------
	75	-------END-OPPO-SEARCH--------------
	76	Getting oppo chain from ACM.CTFrep.CTFcontestant to ACM.CTFrep.CTFcontestant
	77	source = ACM.CTFrep.CTFcontestant
	78	target = ACM.CTFrep.CTFcontestant
	79	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	80	###Adding USC.CTFcontestant,node USC.CTFcontestant
	81	###Adding USC.CTFcontestant,USC.CTFcontestant<-Alice
	82	###Adding Alice,node Alice
	83	###Adding Alice,node Alice
	84	source = USC.CTFcontestant
	85	target = Alice
	86	node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
	87
	88	@@@@@ this = USC.CTFcontestant
	89	solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]}
	90	soln = [node Alice]
	91
	92	@@@@@ next = Alice
	93
	94	@@@@@ children = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
	95	Finding credential defining the role: <ACM.CTFrep>
	96	count = 1
	97	count = 2
	98	count = 3
	99	oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
	100	indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
	101	indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
	102	indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]}
	103	-------BEGIN-OPPO-SEARCH------------
	104	-------END-OPPO-SEARCH--------------
	105	-------BEGIN-OPPO-SEARCH------------
	106	-------END-OPPO-SEARCH--------------
	107	Getting oppo chain from USC to USC
	108	source = USC
	109	target = USC
	110	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	111	-------BEGIN-OPPO-SEARCH------------
	112	-------END-OPPO-SEARCH--------------
	113	-------BEGIN-OPPO-SEARCH------------
	114	-------END-OPPO-SEARCH--------------
	115	Getting oppo chain from MIT to MIT
	116	source = MIT
	117	target = MIT
	118	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	119	-------BEGIN-OPPO-SEARCH------------
	120	-------END-OPPO-SEARCH--------------
	121	-------BEGIN-OPPO-SEARCH------------
	122	-------END-OPPO-SEARCH--------------
	123	Getting oppo chain from UCLA to UCLA
	124	source = UCLA
	125	target = UCLA
	126	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	127	Finding credential defining the role: <GENI.CTFaccess>
	128	count = 1
	129	oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
	130	indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
	131	indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
	132	indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]}
	133	-------BEGIN-OPPO-SEARCH------------
	134	-------END-OPPO-SEARCH--------------
	135	-------BEGIN-OPPO-SEARCH------------
	136	-------END-OPPO-SEARCH--------------
	137	Getting oppo chain from ACM.CTFrep.CTFcontestant to ACM.CTFrep.CTFcontestant
	138	source = ACM.CTFrep.CTFcontestant
	139	target = ACM.CTFrep.CTFcontestant
	140	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	141	###Adding USC.CTFcontestant,node USC.CTFcontestant
	142	###Adding USC.CTFcontestant,USC.CTFcontestant<-Alice
	143	###Adding Alice,node Alice
	144	###Adding Alice,node Alice
	145	source = USC.CTFcontestant
	146	target = Alice
	147	node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
	148
	149	@@@@@ this = USC.CTFcontestant
	150	solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]}
	151	soln = [node Alice]
	152
	153	@@@@@ next = Alice
	154
	155	@@@@@ children = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
	156	Finding credential defining the role: <ACM.CTFrep>
	157	count = 1
	158	count = 2
	159	count = 3
	160	oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
	161	indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
	162	indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
	163	indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]}
	164	-------BEGIN-OPPO-SEARCH------------
	165	-------END-OPPO-SEARCH--------------
	166	-------BEGIN-OPPO-SEARCH------------
	167	-------END-OPPO-SEARCH--------------
	168	Getting oppo chain from USC to USC
	169	source = USC
	170	target = USC
	171	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	172	-------BEGIN-OPPO-SEARCH------------
	173	-------END-OPPO-SEARCH--------------
	174	-------BEGIN-OPPO-SEARCH------------
	175	-------END-OPPO-SEARCH--------------
	176	Getting oppo chain from MIT to MIT
	177	source = MIT
	178	target = MIT
	179	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	180	-------BEGIN-OPPO-SEARCH------------
	181	-------END-OPPO-SEARCH--------------
	182	-------BEGIN-OPPO-SEARCH------------
	183	-------END-OPPO-SEARCH--------------
	184	Getting oppo chain from UCLA to UCLA
	185	source = UCLA
	186	target = UCLA
	187	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	188	Finding credential defining the role: <GENI.CTFaccess>
	189	count = 1
	190	oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
	191	indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
	192	indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
	193	indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]}
	194	-------BEGIN-OPPO-SEARCH------------
	195	-------END-OPPO-SEARCH--------------
	196	-------BEGIN-OPPO-SEARCH------------
	197	-------END-OPPO-SEARCH--------------
	198	Getting oppo chain from ACM.CTFrep.CTFcontestant to ACM.CTFrep.CTFcontestant
	199	source = ACM.CTFrep.CTFcontestant
	200	target = ACM.CTFrep.CTFcontestant
	201	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	202	###Adding USC.CTFcontestant,node USC.CTFcontestant
	203	###Adding USC.CTFcontestant,USC.CTFcontestant<-Alice
	204	###Adding Alice,node Alice
	205	###Adding Alice,node Alice
	206	source = USC.CTFcontestant
	207	target = Alice
	208	node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
	209
	210	@@@@@ this = USC.CTFcontestant
	211	solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]}
	212	soln = [node Alice]
	213
	214	@@@@@ next = Alice
	215
	216	@@@@@ children = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
	217	Finding credential defining the role: <ACM.CTFrep>
	218	count = 1
	219	count = 2
	220	count = 3
	221	oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
	222	indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
	223	indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
	224	indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]}
	225	-------BEGIN-OPPO-SEARCH------------
	226	-------END-OPPO-SEARCH--------------
	227	-------BEGIN-OPPO-SEARCH------------
	228	-------END-OPPO-SEARCH--------------
	229	Getting oppo chain from USC to USC
	230	source = USC
	231	target = USC
	232	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	233	-------BEGIN-OPPO-SEARCH------------
	234	-------END-OPPO-SEARCH--------------
	235	-------BEGIN-OPPO-SEARCH------------
	236	-------END-OPPO-SEARCH--------------
	237	Getting oppo chain from MIT to MIT
	238	source = MIT
	239	target = MIT
	240	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	241	-------BEGIN-OPPO-SEARCH------------
	242	-------END-OPPO-SEARCH--------------
	243	-------BEGIN-OPPO-SEARCH------------
	244	-------END-OPPO-SEARCH--------------
	245	Getting oppo chain from UCLA to UCLA
	246	source = UCLA
	247	target = UCLA
	248	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	249	Finding credential defining the role: <GENI.CTFaccess>
	250	count = 1
	251	oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
	252	indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
	253	indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
	254	indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]}
	255	-------BEGIN-OPPO-SEARCH------------
	256	-------END-OPPO-SEARCH--------------
	257	-------BEGIN-OPPO-SEARCH------------
	258	-------END-OPPO-SEARCH--------------
	259	Getting oppo chain from ACM.CTFrep.CTFcontestant to ACM.CTFrep.CTFcontestant
	260	source = ACM.CTFrep.CTFcontestant
	261	target = ACM.CTFrep.CTFcontestant
	262	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	263	###Adding USC.CTFcontestant,node USC.CTFcontestant
	264	###Adding USC.CTFcontestant,USC.CTFcontestant<-Alice
	265	###Adding Alice,node Alice
	266	###Adding Alice,node Alice
	267	source = USC.CTFcontestant
	268	target = Alice
	269	node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
	270
	271	@@@@@ this = USC.CTFcontestant
	272	solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]}
	273	soln = [node Alice]
	274
	275	@@@@@ next = Alice
	276
	277	@@@@@ children = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
	278	Finding credential defining the role: <ACM.CTFrep>
	279	count = 1
	280	count = 2
	281	count = 3
	282	oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
	283	indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
	284	indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
	285	indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]}
	286	-------BEGIN-OPPO-SEARCH------------
	287	-------END-OPPO-SEARCH--------------
	288	-------BEGIN-OPPO-SEARCH------------
	289	-------END-OPPO-SEARCH--------------
	290	Getting oppo chain from USC to USC
	291	source = USC
	292	target = USC
	293	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	294	-------BEGIN-OPPO-SEARCH------------
	295	-------END-OPPO-SEARCH--------------
	296	-------BEGIN-OPPO-SEARCH------------
	297	-------END-OPPO-SEARCH--------------
	298	Getting oppo chain from MIT to MIT
	299	source = MIT
	300	target = MIT
	301	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	302	-------BEGIN-OPPO-SEARCH------------
	303	-------END-OPPO-SEARCH--------------
	304	-------BEGIN-OPPO-SEARCH------------
	305	-------END-OPPO-SEARCH--------------
	306	Getting oppo chain from UCLA to UCLA
	307	source = UCLA
	308	target = UCLA
	309	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	310	Finding credential defining the role: <GENI.CTFaccess>
	311	count = 1
	312	oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
	313	indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
	314	indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
	315	indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]}
	316	-------BEGIN-OPPO-SEARCH------------
	317	-------END-OPPO-SEARCH--------------
	318	-------BEGIN-OPPO-SEARCH------------
	319	-------END-OPPO-SEARCH--------------
	320	Getting oppo chain from ACM.CTFrep.CTFcontestant to ACM.CTFrep.CTFcontestant
	321	source = ACM.CTFrep.CTFcontestant
	322	target = ACM.CTFrep.CTFcontestant
	323	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	324	###Adding USC.CTFcontestant,node USC.CTFcontestant
	325	###Adding USC.CTFcontestant,USC.CTFcontestant<-Alice
	326	###Adding Alice,node Alice
	327	###Adding Alice,node Alice
	328	source = USC.CTFcontestant
	329	target = Alice
	330	node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
	331
	332	@@@@@ this = USC.CTFcontestant
	333	solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]}
	334	soln = [node Alice]
	335
	336	@@@@@ next = Alice
	337
	338	@@@@@ children = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
	339	Finding credential defining the role: <ACM.CTFrep>
	340	count = 1
	341	count = 2
	342	count = 3
	343	oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
	344	indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
	345	indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
	346	indexBySubject={UCLA=[ACM.CTFrep<-UCLA], USC=[ACM.CTFrep<-USC], ACM.CTFrep.CTFcontestant=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], MIT=[ACM.CTFrep<-MIT]}
	347	-------BEGIN-OPPO-SEARCH------------
	348	-------END-OPPO-SEARCH--------------
	349	-------BEGIN-OPPO-SEARCH------------
	350	-------END-OPPO-SEARCH--------------
	351	Getting oppo chain from USC to USC
	352	source = USC
	353	target = USC
	354	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	355	-------BEGIN-OPPO-SEARCH------------
	356	-------END-OPPO-SEARCH--------------
	357	-------BEGIN-OPPO-SEARCH------------
	358	-------END-OPPO-SEARCH--------------
	359	Getting oppo chain from MIT to MIT
	360	source = MIT
	361	target = MIT
	362	node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
	363	-------BEGIN-OPPO-SEARCH------------
	364	-------END-OPPO-SEARCH--------------
	365	-------BEGIN-OPPO-SEARCH------------
	366	-------END-OPPO-SEARCH--------------
	367	Getting oppo chain from UCLA to UCLA
	368	source = UCLA
	369	target = UCLA
	370	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