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

Line
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