source: fedd/abac-src/atnvis/strategy_comparison/sadmir-ussh_breadth/SAdmir.prop @ d5e3b8e

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

ABAC sources from Cobham
  • Property mode set to 100644
File size: 12.6 KB
RevLine 
[8780cbec]1subject = SAdmir
2
3update.1.location = local
4
5update.1.1.type = node
6update.1.1.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
7update.1.1.nodeType = RoleTarget
8update.1.1.isRoot = True
9
10update.1.2.type = node
11update.1.2.nodeType = RoleTarget
12update.1.2.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
13update.1.2.processing = unprocessed
14update.1.2.satisfied = Unknown
15
16update.1.3.type = node
17update.1.3.nodeType = RoleTarget
18update.1.3.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
19update.1.3.processing = unprocessed
20update.1.3.satisfied = Unknown
21
22update.1.4.type = edge
23update.1.4.edgeType = Implication
24update.1.4.parentName = SAdmir: SAdmir.getsSLocs <<-?- USSH
25update.1.4.childName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
26update.1.4.childType = LinkedRoleTarget
27update.1.4.childProcessing = opponent
28update.1.4.evidence.1 = SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr
29update.1.4.evidence.2 = SAdmir.getsSLocs<-SAdmir.needsSLocs
30
31update.1.5.type = node
32update.1.5.nodeType = LinkedRoleTarget
33update.1.5.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
34update.1.5.processing = opponent
35update.1.5.satisfied = Unknown
36
37update.1.6.type = node
38update.1.6.nodeType = RoleTarget
39update.1.6.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
40update.1.6.processing = opponent
41update.1.6.satisfied = Unknown
42
43update.1.7.type = edge
44update.1.7.edgeType = Implication
45update.1.7.parentName = SAdmir: SAdmir.getsSLocs <<-?- USSH
46update.1.7.childName = SAdmir: SEAFHQ.usr <<-?- USSH
47update.1.7.childType = RoleTarget
48update.1.7.childProcessing = verifier
49update.1.7.evidence.1 = SAdmir.getsSLocs<-SEAFHQ.usr
50
51update.1.8.type = node
52update.1.8.nodeType = RoleTarget
53update.1.8.name = SAdmir: SEAFHQ.usr <<-?- USSH
54update.1.8.processing = verifier
55update.1.8.satisfied = Unknown
56
57update.1.9.type = node
58update.1.9.nodeType = RoleTarget
59update.1.9.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
60update.1.9.processing = opponent
61update.1.9.satisfied = Unknown
62
63update.1.10.type = edge
64update.1.10.edgeType = Implication
65update.1.10.parentName = SAdmir: SAdmir.getsSLocs <<-?- USSH
66update.1.10.childName = SAdmir: SENavy.usr <<-?- USSH
67update.1.10.childType = RoleTarget
68update.1.10.childProcessing = verifier
69update.1.10.evidence.1 = SAdmir.getsSLocs<-SENavy.usr
70
71update.1.11.type = node
72update.1.11.nodeType = RoleTarget
73update.1.11.name = SAdmir: SENavy.usr <<-?- USSH
74update.1.11.processing = verifier
75update.1.11.satisfied = Unknown
76
77update.1.12.type = node
78update.1.12.nodeType = RoleTarget
79update.1.12.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
80update.1.12.processing = opponent
81update.1.12.satisfied = Unknown
82
83update.1.13.type = node
84update.1.13.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
85update.1.13.processing = verifier
86
87update.1.14.type = edge
88update.1.14.edgeType = LinkingMonitor
89update.1.14.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
90update.1.14.childName = SAdmir: ?X.NRetTacUsr <<-?- USSH
91update.1.14.childType = LinkingGoal
92update.1.14.childProcessing = verifier
93
94update.1.15.type = node
95update.1.15.nodeType = LinkingGoal
96update.1.15.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
97update.1.15.processing = verifier
98update.1.15.satisfied = Incomplete
99
100update.2.location = remote
101
102update.2.1.type = node
103update.2.1.name = SAdmir: SEAFHQ.usr <<-?- USSH
104update.2.1.processing = opponent
105
106update.2.2.type = node
107update.2.2.nodeType = RoleTarget
108update.2.2.name = SAdmir: SEAFHQ.usr <<-?- USSH
109update.2.2.processing = fully
110update.2.2.satisfied = Failed
111
112update.2.3.type = node
113update.2.3.name = SAdmir: SENavy.usr <<-?- USSH
114update.2.3.processing = opponent
115
116update.2.4.type = node
117update.2.4.nodeType = RoleTarget
118update.2.4.name = SAdmir: SENavy.usr <<-?- USSH
119update.2.4.processing = fully
120update.2.4.satisfied = Failed
121
122update.2.5.type = edge
123update.2.5.edgeType = LinkingSolution
124update.2.5.parentName = SAdmir: ?X.NRetTacUsr <<-?- USSH
125update.2.5.childName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
126update.2.5.childType = RoleTarget
127update.2.5.childProcessing = verifier
128
129update.2.6.type = node
130update.2.6.nodeType = RoleTarget
131update.2.6.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
132update.2.6.processing = verifier
133update.2.6.satisfied = Unknown
134
135update.2.7.type = node
136update.2.7.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
137update.2.7.processing = opponent
138
139update.2.8.type = node
140update.2.8.nodeType = LinkingGoal
141update.2.8.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
142update.2.8.processing = fully
143update.2.8.satisfied = Incomplete
144
145update.2.9.type = edge
146update.2.9.edgeType = Implication
147update.2.9.parentName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
148update.2.9.childName = SAdmir: USN.assignedNRet <<-?- USSH
149update.2.9.childType = RoleTarget
150update.2.9.childProcessing = verifier
151update.2.9.evidence.1 = RADMSmith.NRetTacUsr<-USN.assignedNRet
152
153update.2.10.type = node
154update.2.10.nodeType = RoleTarget
155update.2.10.name = SAdmir: USN.assignedNRet <<-?- USSH
156update.2.10.processing = verifier
157update.2.10.satisfied = Unknown
158
159update.2.11.type = node
160update.2.11.nodeType = RoleTarget
161update.2.11.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
162update.2.11.processing = verifier
163update.2.11.satisfied = Unknown
164
165update.2.12.type = node
166update.2.12.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
167update.2.12.processing = opponent
168
169update.2.13.type = edge
170update.2.13.edgeType = Control
171update.2.13.parentName = SAdmir: USN.assignedNRet <<-?- USSH
172update.2.13.childName = USSH: US.friendly.usr <<-?- SAdmir
173update.2.13.childType = LinkedRoleTarget
174update.2.13.childProcessing = opponent
175
176update.2.14.type = node
177update.2.14.nodeType = LinkedRoleTarget
178update.2.14.name = USSH: US.friendly.usr <<-?- SAdmir
179update.2.14.processing = opponent
180update.2.14.satisfied = Unknown
181
182update.2.15.type = edge
183update.2.15.edgeType = Implication
184update.2.15.parentName = USSH: US.friendly.usr <<-?- SAdmir
185update.2.15.childName = USSH: SE.usr <<-?- SAdmir
186update.2.15.childType = RoleTarget
187update.2.15.childProcessing = verifier
188
189update.2.16.type = node
190update.2.16.nodeType = RoleTarget
191update.2.16.name = USSH: SE.usr <<-?- SAdmir
192update.2.16.processing = verifier
193update.2.16.satisfied = Unknown
194
195update.2.17.type = node
196update.2.17.nodeType = LinkedRoleTarget
197update.2.17.name = USSH: US.friendly.usr <<-?- SAdmir
198update.2.17.processing = opponent
199update.2.17.satisfied = Unknown
200
201update.2.18.type = node
202update.2.18.name = USSH: US.friendly.usr <<-?- SAdmir
203update.2.18.processing = verifier
204
205update.3.location = local
206
207update.3.1.type = edge
208update.3.1.edgeType = Implication
209update.3.1.parentName = USSH: SE.usr <<-?- SAdmir
210update.3.1.childName = USSH: SAdmir <<-?- SAdmir
211update.3.1.childType = TrivialTarget
212update.3.1.childProcessing = fully
213update.3.1.evidence.1 = SE.usr<-SAdmir
214
215update.3.2.type = node
216update.3.2.nodeType = TrivialTarget
217update.3.2.name = USSH: SAdmir <<-?- SAdmir
218update.3.2.processing = fully
219update.3.2.satisfied = Satisfied
220
221update.3.3.type = node
222update.3.3.nodeType = RoleTarget
223update.3.3.name = USSH: SE.usr <<-?- SAdmir
224update.3.3.processing = verifier
225update.3.3.satisfied = Unknown
226
227update.3.4.type = node
228update.3.4.nodeType = RoleTarget
229update.3.4.name = USSH: SE.usr <<-?- SAdmir
230update.3.4.processing = verifier
231update.3.4.satisfied = Satisfied
232
233update.3.5.type = node
234update.3.5.nodeType = LinkedRoleTarget
235update.3.5.name = USSH: US.friendly.usr <<-?- SAdmir
236update.3.5.processing = fully
237update.3.5.satisfied = Satisfied
238
239update.3.6.type = node
240update.3.6.name = USSH: SE.usr <<-?- SAdmir
241update.3.6.processing = opponent
242
243update.4.location = remote
244
245update.4.1.type = edge
246update.4.1.edgeType = Implication
247update.4.1.parentName = SAdmir: USN.assignedNRet <<-?- USSH
248update.4.1.childName = SAdmir: USSH <<-?- USSH
249update.4.1.childType = TrivialTarget
250update.4.1.childProcessing = fully
251update.4.1.evidence.1 = USN.assignedNRet<-USSH
252
253update.4.2.type = node
254update.4.2.nodeType = TrivialTarget
255update.4.2.name = SAdmir: USSH <<-?- USSH
256update.4.2.processing = fully
257update.4.2.satisfied = Satisfied
258
259update.4.3.type = node
260update.4.3.nodeType = RoleTarget
261update.4.3.name = SAdmir: USN.assignedNRet <<-?- USSH
262update.4.3.processing = verifier
263update.4.3.satisfied = Unknown
264
265update.4.4.type = node
266update.4.4.nodeType = RoleTarget
267update.4.4.name = SAdmir: USN.assignedNRet <<-?- USSH
268update.4.4.processing = verifier
269update.4.4.satisfied = Satisfied
270
271update.4.5.type = node
272update.4.5.nodeType = RoleTarget
273update.4.5.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
274update.4.5.processing = fully
275update.4.5.satisfied = Satisfied
276
277update.4.6.type = node
278update.4.6.nodeType = LinkingGoal
279update.4.6.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
280update.4.6.processing = fully
281update.4.6.satisfied = Complete
282
283update.4.7.type = node
284update.4.7.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
285update.4.7.processing = verifier
286
287update.4.8.type = node
288update.4.8.name = SAdmir: USN.assignedNRet <<-?- USSH
289update.4.8.processing = opponent
290
291update.5.location = local
292
293update.5.1.type = edge
294update.5.1.edgeType = LinkingImplication
295update.5.1.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
296update.5.1.childName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
297update.5.1.childType = RoleTarget
298update.5.1.childProcessing = opponent
299
300update.5.2.type = node
301update.5.2.nodeType = RoleTarget
302update.5.2.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
303update.5.2.processing = opponent
304update.5.2.satisfied = Unknown
305
306update.5.3.type = node
307update.5.3.nodeType = LinkedRoleTarget
308update.5.3.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
309update.5.3.processing = fully
310update.5.3.satisfied = Unknown
311
312update.5.4.type = edge
313update.5.4.edgeType = Implication
314update.5.4.parentName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
315update.5.4.childName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
316update.5.4.childType = RoleTarget
317update.5.4.childProcessing = verifier
318update.5.4.evidence.1 = SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom
319
320update.5.5.type = node
321update.5.5.nodeType = RoleTarget
322update.5.5.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
323update.5.5.processing = verifier
324update.5.5.satisfied = Unknown
325
326update.5.6.type = node
327update.5.6.nodeType = RoleTarget
328update.5.6.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
329update.5.6.processing = opponent
330update.5.6.satisfied = Unknown
331
332update.5.7.type = edge
333update.5.7.edgeType = Implication
334update.5.7.parentName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
335update.5.7.childName = SAdmir: FinnCOM.NRetFinnTacCom <<-?- RADMSmith
336update.5.7.childType = RoleTarget
337update.5.7.childProcessing = opponent
338update.5.7.evidence.1 = SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom
339
340update.5.8.type = node
341update.5.8.nodeType = RoleTarget
342update.5.8.name = SAdmir: FinnCOM.NRetFinnTacCom <<-?- RADMSmith
343update.5.8.processing = opponent
344update.5.8.satisfied = Unknown
345
346update.5.9.type = node
347update.5.9.nodeType = RoleTarget
348update.5.9.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
349update.5.9.processing = opponent
350update.5.9.satisfied = Unknown
351
352update.5.10.type = node
353update.5.10.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
354update.5.10.processing = verifier
355
356update.5.11.type = node
357update.5.11.nodeType = RoleTarget
358update.5.11.name = SAdmir: FinnCOM.NRetFinnTacCom <<-?- RADMSmith
359update.5.11.processing = fully
360update.5.11.satisfied = Failed
361
362update.5.12.type = node
363update.5.12.name = SAdmir: FinnCOM.NRetFinnTacCom <<-?- RADMSmith
364update.5.12.processing = verifier
365
366update.6.location = remote
367
368update.6.1.type = edge
369update.6.1.edgeType = Implication
370update.6.1.parentName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
371update.6.1.childName = SAdmir: RADMSmith <<-?- RADMSmith
372update.6.1.childType = TrivialTarget
373update.6.1.childProcessing = fully
374update.6.1.evidence.1 = USEUCOM.NRetUSTacCom<-RADMSmith
375
376update.6.2.type = node
377update.6.2.nodeType = TrivialTarget
378update.6.2.name = SAdmir: RADMSmith <<-?- RADMSmith
379update.6.2.processing = fully
380update.6.2.satisfied = Satisfied
381
382update.6.3.type = node
383update.6.3.nodeType = RoleTarget
384update.6.3.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
385update.6.3.processing = verifier
386update.6.3.satisfied = Unknown
387
388update.6.4.type = node
389update.6.4.nodeType = RoleTarget
390update.6.4.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
391update.6.4.processing = verifier
392update.6.4.satisfied = Satisfied
393
394update.6.5.type = node
395update.6.5.nodeType = RoleTarget
396update.6.5.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
397update.6.5.processing = fully
398update.6.5.satisfied = Satisfied
399
400update.6.6.type = node
401update.6.6.nodeType = LinkedRoleTarget
402update.6.6.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
403update.6.6.processing = fully
404update.6.6.satisfied = Satisfied
405
406update.6.7.type = node
407update.6.7.nodeType = RoleTarget
408update.6.7.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
409update.6.7.processing = fully
410update.6.7.satisfied = Satisfied
411
412update.6.8.type = node
413update.6.8.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
414update.6.8.processing = opponent
415
Note: See TracBrowser for help on using the repository browser.