source: fedd/abac-src/ttg/demo/rbtm.log @ 1fda364

axis_examplecompt_changesinfo-opsversion-2.00version-3.01version-3.02
Last change on this file since 1fda364 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 
1Finding credential defining the role: <GENI.CTFaccess>
2count = 1
3oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
4indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
5indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
6indexBySubject={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--------------
12Getting oppo chain from ACM.CTFrep.CTFcontestant to ACM.CTFrep.CTFcontestant
13source = ACM.CTFrep.CTFcontestant
14target = ACM.CTFrep.CTFcontestant
15node 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
20source = USC.CTFcontestant
21target = Alice
22node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
23
24@@@@@ this = USC.CTFcontestant
25solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]}
26soln = [node Alice]
27
28@@@@@ next = Alice
29
30@@@@@ children  = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
31Finding credential defining the role: <ACM.CTFrep>
32count = 1
33count = 2
34count = 3
35oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
36indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
37indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
38indexBySubject={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--------------
44Getting oppo chain from USC to USC
45source = USC
46target = USC
47node 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--------------
53Getting oppo chain from MIT to MIT
54source = MIT
55target = MIT
56node 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--------------
62Getting oppo chain from UCLA to UCLA
63source = UCLA
64target = UCLA
65node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
66Finding credential defining the role: <GENI.CTFaccess>
67count = 1
68oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
69indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
70indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
71indexBySubject={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--------------
76Getting oppo chain from ACM.CTFrep.CTFcontestant to ACM.CTFrep.CTFcontestant
77source = ACM.CTFrep.CTFcontestant
78target = ACM.CTFrep.CTFcontestant
79node 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
84source = USC.CTFcontestant
85target = Alice
86node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
87
88@@@@@ this = USC.CTFcontestant
89solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]}
90soln = [node Alice]
91
92@@@@@ next = Alice
93
94@@@@@ children  = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
95Finding credential defining the role: <ACM.CTFrep>
96count = 1
97count = 2
98count = 3
99oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
100indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
101indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
102indexBySubject={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--------------
107Getting oppo chain from USC to USC
108source = USC
109target = USC
110node 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--------------
115Getting oppo chain from MIT to MIT
116source = MIT
117target = MIT
118node 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--------------
123Getting oppo chain from UCLA to UCLA
124source = UCLA
125target = UCLA
126node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
127Finding credential defining the role: <GENI.CTFaccess>
128count = 1
129oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
130indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
131indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
132indexBySubject={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--------------
137Getting oppo chain from ACM.CTFrep.CTFcontestant to ACM.CTFrep.CTFcontestant
138source = ACM.CTFrep.CTFcontestant
139target = ACM.CTFrep.CTFcontestant
140node 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
145source = USC.CTFcontestant
146target = Alice
147node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
148
149@@@@@ this = USC.CTFcontestant
150solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]}
151soln = [node Alice]
152
153@@@@@ next = Alice
154
155@@@@@ children  = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
156Finding credential defining the role: <ACM.CTFrep>
157count = 1
158count = 2
159count = 3
160oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
161indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
162indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
163indexBySubject={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--------------
168Getting oppo chain from USC to USC
169source = USC
170target = USC
171node 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--------------
176Getting oppo chain from MIT to MIT
177source = MIT
178target = MIT
179node 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--------------
184Getting oppo chain from UCLA to UCLA
185source = UCLA
186target = UCLA
187node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
188Finding credential defining the role: <GENI.CTFaccess>
189count = 1
190oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
191indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
192indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
193indexBySubject={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--------------
198Getting oppo chain from ACM.CTFrep.CTFcontestant to ACM.CTFrep.CTFcontestant
199source = ACM.CTFrep.CTFcontestant
200target = ACM.CTFrep.CTFcontestant
201node 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
206source = USC.CTFcontestant
207target = Alice
208node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
209
210@@@@@ this = USC.CTFcontestant
211solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]}
212soln = [node Alice]
213
214@@@@@ next = Alice
215
216@@@@@ children  = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
217Finding credential defining the role: <ACM.CTFrep>
218count = 1
219count = 2
220count = 3
221oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
222indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
223indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
224indexBySubject={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--------------
229Getting oppo chain from USC to USC
230source = USC
231target = USC
232node 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--------------
237Getting oppo chain from MIT to MIT
238source = MIT
239target = MIT
240node 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--------------
245Getting oppo chain from UCLA to UCLA
246source = UCLA
247target = UCLA
248node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
249Finding credential defining the role: <GENI.CTFaccess>
250count = 1
251oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
252indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
253indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
254indexBySubject={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--------------
259Getting oppo chain from ACM.CTFrep.CTFcontestant to ACM.CTFrep.CTFcontestant
260source = ACM.CTFrep.CTFcontestant
261target = ACM.CTFrep.CTFcontestant
262node 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
267source = USC.CTFcontestant
268target = Alice
269node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
270
271@@@@@ this = USC.CTFcontestant
272solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]}
273soln = [node Alice]
274
275@@@@@ next = Alice
276
277@@@@@ children  = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
278Finding credential defining the role: <ACM.CTFrep>
279count = 1
280count = 2
281count = 3
282oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
283indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
284indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
285indexBySubject={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--------------
290Getting oppo chain from USC to USC
291source = USC
292target = USC
293node 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--------------
298Getting oppo chain from MIT to MIT
299source = MIT
300target = MIT
301node 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--------------
306Getting oppo chain from UCLA to UCLA
307source = UCLA
308target = UCLA
309node table = {UCLA=node UCLA, USC=node USC, ACM.CTFrep.CTFcontestant=node ACM.CTFrep.CTFcontestant, MIT=node MIT}
310Finding credential defining the role: <GENI.CTFaccess>
311count = 1
312oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
313indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
314indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
315indexBySubject={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--------------
320Getting oppo chain from ACM.CTFrep.CTFcontestant to ACM.CTFrep.CTFcontestant
321source = ACM.CTFrep.CTFcontestant
322target = ACM.CTFrep.CTFcontestant
323node 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
328source = USC.CTFcontestant
329target = Alice
330node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
331
332@@@@@ this = USC.CTFcontestant
333solutions = [2]{Alice=[node Alice], USC.CTFcontestant=[node USC.CTFcontestant]}
334soln = [node Alice]
335
336@@@@@ next = Alice
337
338@@@@@ children  = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
339Finding credential defining the role: <ACM.CTFrep>
340count = 1
341count = 2
342count = 3
343oppoFrontier = credentials=[ACM.CTFrep<-USC, GENI.CTFaccess<-ACM.CTFrep.CTFcontestant, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]
344indexByIssuer={ACM=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA], GENI=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant]}
345indexByRole={GENI.CTFaccess=[GENI.CTFaccess<-ACM.CTFrep.CTFcontestant], ACM.CTFrep=[ACM.CTFrep<-USC, ACM.CTFrep<-MIT, ACM.CTFrep<-UCLA]}
346indexBySubject={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--------------
351Getting oppo chain from USC to USC
352source = USC
353target = USC
354node 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--------------
359Getting oppo chain from MIT to MIT
360source = MIT
361target = MIT
362node 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--------------
367Getting oppo chain from UCLA to UCLA
368source = UCLA
369target = UCLA
370node 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.