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