source: fedd/abac-src/ttg/test/intersect/rbtm.log @ 53c649f

axis_examplecompt_changesinfo-opsversion-2.00version-3.01version-3.02
Last change on this file since 53c649f was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham

  • Property mode set to 100644
File size: 7.4 KB
Line 
1Finding credential defining the role: <SAdmir.getsSLocs>
2count = 1
3count = 2
4oppoFrontier = credentials=[SE.friendly<-US, SAdmir.getsSLocs<-SE.usr, SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr]
5indexByIssuer={SE=[SE.friendly<-US], SAdmir=[SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr, SAdmir.getsSLocs<-SE.usr]}
6indexByRole={SE.friendly=[SE.friendly<-US], SAdmir.getsSLocs=[SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr, SAdmir.getsSLocs<-SE.usr]}
7indexBySubject={SE.friendly.usr=[SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr], US=[SE.friendly<-US], SE.usr=[SAdmir.getsSLocs<-SE.usr], USEUCOM.NRetTacUsr=[SAdmir.getsSLocs<-SE.friendly.usr ^ USEUCOM.NRetTacUsr]}
8-------BEGIN-OPPO-SEARCH------------
9###Adding SE.usr,node SE.usr
10-------END-OPPO-SEARCH--------------
11-------BEGIN-OPPO-SEARCH------------
12-------END-OPPO-SEARCH--------------
13Getting oppo chain from SE.usr to SE.usr
14source = SE.usr
15target = SE.usr
16node table = {SE.usr=node SE.usr}
17
18@@@@@ creating set of size 0
19-------BEGIN-OPPO-SEARCH------------
20###Adding SE.friendly.usr ^ USEUCOM.NRetTacUsr,node SE.friendly.usr ^ USEUCOM.NRetTacUsr
21-------END-OPPO-SEARCH--------------
22-------BEGIN-OPPO-SEARCH------------
23-------END-OPPO-SEARCH--------------
24Getting oppo chain from SE.friendly.usr ^ USEUCOM.NRetTacUsr to SE.friendly.usr ^ USEUCOM.NRetTacUsr
25source = SE.friendly.usr ^ USEUCOM.NRetTacUsr
26target = SE.friendly.usr ^ USEUCOM.NRetTacUsr
27node table = {SE.friendly.usr ^ USEUCOM.NRetTacUsr=node SE.friendly.usr ^ USEUCOM.NRetTacUsr, SE.usr=node SE.usr}
28-------BEGIN-LOCAL-SEARCH------------
29###Adding SE.friendly,node SE.friendly
30###Adding SE.friendly,SE.friendly<-US
31###Adding US,node US
32###Adding US,node US
33-------END-LOCAL-SEARCH--------------
34-------BEGIN-OPPO-SEARCH------------
35###Adding US.usr,node US.usr
36-------END-OPPO-SEARCH--------------
37-------BEGIN-SENS-SEARCH------------
38searching for SE.usr
39map = [2]{}
40--------END-SENS-SEARCH-------------
41-------BEGIN-SENS-SEARCH------------
42searching for USEUCOM.NRetTacUsr
43###Adding USEUCOM.NRetTacUsr,USEUCOM.NRetTacUsr<-USN.assignedNRet
44###Adding USN.assignedNRet,node USN.assignedNRet
45###Adding USN.assignedNRet,node USN.assignedNRet
46map = [2]{USN.assignedNRet=[node USN.assignedNRet]}
47--------END-SENS-SEARCH-------------
48-------BEGIN-SENS-SEARCH------------
49searching for USEUCOM.NRetTacUsr
50map = [2]{USN.assignedNRet=[node USN.assignedNRet]}
51--------END-SENS-SEARCH-------------
52---------BEGIN-SENS-CHAIN----------
53Getting sens chain from USEUCOM.NRetTacUsr to USN.assignedNRet
54source = USEUCOM.NRetTacUsr
55target = USN.assignedNRet
56node table = {SE.usr=node SE.usr, USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr}
57
58@@@@@ this = USEUCOM.NRetTacUsr
59solutions = [2]{USN.assignedNRet=[node USN.assignedNRet]}
60soln = [node USN.assignedNRet]
61
62@@@@@ next = USN.assignedNRet
63
64@@@@@ creating set of size 1
65
66@@@@@ children  = [2]{USEUCOM.NRetTacUsr=[USEUCOM.NRetTacUsr<-USN.assignedNRet]}
67results = [USEUCOM.NRetTacUsr<-USN.assignedNRet]
68-----------END-SENS-CHAIN----------
69
70-------BEGIN-SENS-SEARCH------------
71searching for US.usr
72###Adding US.usr,US.usr<-USSH
73###Adding USSH,node USSH
74###Adding USSH,node USSH
75map = [2]{USSH=[node USSH]}
76--------END-SENS-SEARCH-------------
77-------BEGIN-SENS-SEARCH------------
78searching for US.usr
79map = [2]{USSH=[node USSH]}
80--------END-SENS-SEARCH-------------
81---------BEGIN-SENS-CHAIN----------
82Getting sens chain from US.usr to USSH
83source = US.usr
84target = USSH
85node table = {USSH=node USSH, SE.usr=node SE.usr, US.usr=node US.usr, USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr}
86
87@@@@@ this = US.usr
88solutions = [2]{USSH=[node USSH]}
89soln = [node USSH]
90
91@@@@@ next = USSH
92
93@@@@@ children  = [2]{US.usr=[US.usr<-USSH]}
94results = [US.usr<-USSH]
95-----------END-SENS-CHAIN----------
96
97Finding credential defining the role: <USN.assignedNRet>
98oppoFrontier = credentials=[US.friendly<-SE, US.friendly<-US]
99indexByIssuer={US=[US.friendly<-SE, US.friendly<-US]}
100indexByRole={US.friendly=[US.friendly<-SE, US.friendly<-US]}
101indexBySubject={US=[US.friendly<-US], SE=[US.friendly<-SE]}
102count = 1
103-------BEGIN-SENS-SEARCH------------
104searching for USSH
105map = [2]{USSH=[node USSH]}
106--------END-SENS-SEARCH-------------
107-------BEGIN-LOCAL-SEARCH------------
108###Adding US.friendly,node US.friendly
109###Adding US.friendly,US.friendly<-SE
110###Adding US.friendly,US.friendly<-US
111###Adding SE,node SE
112###Adding SE,node SE
113###Adding US,node US
114###Adding US,node US
115-------END-LOCAL-SEARCH--------------
116-------BEGIN-OPPO-SEARCH------------
117###Adding US.usr,node US.usr
118-------END-OPPO-SEARCH--------------
119-------BEGIN-OPPO-SEARCH------------
120###Adding SE.usr,node SE.usr
121-------END-OPPO-SEARCH--------------
122###Adding USEUCOM.NRetTacUsr,node USEUCOM.NRetTacUsr
123###Adding USEUCOM.NRetTacUsr,USEUCOM.NRetTacUsr<-USN.assignedNRet
124###Adding USN.assignedNRet,node USN.assignedNRet
125###Adding USN.assignedNRet,node USN.assignedNRet
126source = USEUCOM.NRetTacUsr
127target = USN.assignedNRet
128node table = {USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr}
129
130@@@@@ this = USEUCOM.NRetTacUsr
131solutions = [2]{USN.assignedNRet=[node USN.assignedNRet], USEUCOM.NRetTacUsr=[node USEUCOM.NRetTacUsr]}
132soln = [node USN.assignedNRet]
133
134@@@@@ next = USN.assignedNRet
135
136@@@@@ creating set of size 1
137
138@@@@@ children  = [2]{USEUCOM.NRetTacUsr=[USEUCOM.NRetTacUsr<-USN.assignedNRet]}
139###Adding US.usr,node US.usr
140###Adding US.usr,US.usr<-USSH
141###Adding USSH,node USSH
142###Adding USSH,node USSH
143source = US.usr
144target = USSH
145node table = {USSH=node USSH, US.usr=node US.usr, USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr}
146
147@@@@@ this = US.usr
148solutions = [2]{USSH=[node USSH], US.usr=[node US.usr]}
149soln = [node USSH]
150
151@@@@@ next = USSH
152
153@@@@@ children  = [2]{US.usr=[US.usr<-USSH]}
154-------BEGIN-SENS-SEARCH------------
155searching for US.usr
156map = [2]{}
157--------END-SENS-SEARCH-------------
158-------BEGIN-SENS-SEARCH------------
159searching for SE.usr
160###Adding SE.usr,SE.usr<-SAdmir
161###Adding SAdmir,node SAdmir
162###Adding SAdmir,node SAdmir
163map = [2]{SAdmir=[node SAdmir]}
164--------END-SENS-SEARCH-------------
165-------BEGIN-SENS-SEARCH------------
166searching for SE.usr
167map = [2]{SAdmir=[node SAdmir]}
168--------END-SENS-SEARCH-------------
169---------BEGIN-SENS-CHAIN----------
170Getting sens chain from SE.usr to SAdmir
171source = SE.usr
172target = SAdmir
173node table = {SE.usr=node SE.usr, US.usr=node US.usr, SAdmir=node SAdmir}
174
175@@@@@ this = SE.usr
176solutions = [2]{SAdmir=[node SAdmir]}
177soln = [node SAdmir]
178
179@@@@@ next = SAdmir
180
181@@@@@ children  = [2]{SE.usr=[SE.usr<-SAdmir]}
182results = [SE.usr<-SAdmir]
183-----------END-SENS-CHAIN----------
184
185###Adding SE.usr,node SE.usr
186###Adding SE.usr,SE.usr<-SAdmir
187###Adding SAdmir,node SAdmir
188###Adding SAdmir,node SAdmir
189source = SE.usr
190target = SAdmir
191node table = {SE.usr=node SE.usr, SAdmir=node SAdmir}
192
193@@@@@ this = SE.usr
194solutions = [2]{SE.usr=[node SE.usr], SAdmir=[node SAdmir]}
195soln = [node SAdmir]
196
197@@@@@ next = SAdmir
198
199@@@@@ children  = [2]{SE.usr=[SE.usr<-SAdmir]}
200###Adding USN.assignedNRet,USN.assignedNRet<-USSH
201###Adding USSH,node USSH
202###Adding USSH,node USN.assignedNRet
203source = USN.assignedNRet
204target = USSH
205node table = {USSH=node USSH, US.usr=node US.usr, USN.assignedNRet=node USN.assignedNRet, USEUCOM.NRetTacUsr=node USEUCOM.NRetTacUsr}
206
207@@@@@ this = USN.assignedNRet
208solutions = [2]{USN.assignedNRet=[node USN.assignedNRet], USSH=[node USSH]}
209soln = [node USSH]
210
211@@@@@ next = USSH
212
213@@@@@ children  = [2]{USN.assignedNRet=[USN.assignedNRet<-USSH], US.usr=[US.usr<-USSH]}
Note: See TracBrowser for help on using the repository browser.