source: fedd/abac-src/atnvis/jan_demo/tnttg/SAdmir.prop @ bc24428

version-1.30
Last change on this file since bc24428 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham
  • Property mode set to 100644
File size: 15.9 KB
RevLine 
[8780cbec]1subject = SAdmir
2
3update.1.location = local
4
5update.1.1.type = node
6update.1.1.name = SAdmir: SAdmir.getsSLocs <<-?- ESMeos
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 <<-?- ESMeos
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 <<-?- ESMeos
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 <<-?- ESMeos
25update.1.4.childName = SAdmir: SE.friendly.usr ^ SAdmir.needsSLocs <<-?- ESMeos
26update.1.4.childType = IntersectionTarget
27update.1.4.childProcessing = opponent
28update.1.4.evidence.1 = SAdmir.getsSLocs<-SE.friendly.usr ^ SAdmir.needsSLocs
29
30update.1.5.type = node
31update.1.5.nodeType = IntersectionTarget
32update.1.5.name = SAdmir: SE.friendly.usr ^ SAdmir.needsSLocs <<-?- ESMeos
33update.1.5.processing = opponent
34update.1.5.satisfied = Unknown
35
36update.1.6.type = node
37update.1.6.nodeType = RoleTarget
38update.1.6.name = SAdmir: SAdmir.getsSLocs <<-?- ESMeos
39update.1.6.processing = opponent
40update.1.6.satisfied = Unknown
41
42update.1.7.type = node
43update.1.7.name = SAdmir: SAdmir.getsSLocs <<-?- ESMeos
44update.1.7.processing = verifier
45
46update.1.8.type = edge
47update.1.8.edgeType = Intersection
48update.1.8.parentName = SAdmir: SE.friendly.usr ^ SAdmir.needsSLocs <<-?- ESMeos
49update.1.8.childName = SAdmir: SE.friendly.usr <<-?- ESMeos
50update.1.8.childType = LinkedRoleTarget
51update.1.8.childProcessing = opponent
52
53update.1.9.type = node
54update.1.9.nodeType = LinkedRoleTarget
55update.1.9.name = SAdmir: SE.friendly.usr <<-?- ESMeos
56update.1.9.processing = opponent
57update.1.9.satisfied = Unknown
58
59update.1.10.type = edge
60update.1.10.edgeType = Intersection
61update.1.10.parentName = SAdmir: SE.friendly.usr ^ SAdmir.needsSLocs <<-?- ESMeos
62update.1.10.childName = SAdmir: SAdmir.needsSLocs <<-?- ESMeos
63update.1.10.childType = RoleTarget
64update.1.10.childProcessing = opponent
65
66update.1.11.type = node
67update.1.11.nodeType = RoleTarget
68update.1.11.name = SAdmir: SAdmir.needsSLocs <<-?- ESMeos
69update.1.11.processing = opponent
70update.1.11.satisfied = Unknown
71
72update.1.12.type = edge
73update.1.12.edgeType = Implication
74update.1.12.parentName = SAdmir: SE.friendly.usr <<-?- ESMeos
75update.1.12.childName = SAdmir: US.usr <<-?- ESMeos
76update.1.12.childType = RoleTarget
77update.1.12.childProcessing = verifier
78
79update.1.13.type = node
80update.1.13.nodeType = RoleTarget
81update.1.13.name = SAdmir: US.usr <<-?- ESMeos
82update.1.13.processing = verifier
83update.1.13.satisfied = Unknown
84
85update.1.14.type = node
86update.1.14.nodeType = LinkedRoleTarget
87update.1.14.name = SAdmir: SE.friendly.usr <<-?- ESMeos
88update.1.14.processing = opponent
89update.1.14.satisfied = Unknown
90
91update.1.15.type = edge
92update.1.15.edgeType = Implication
93update.1.15.parentName = SAdmir: SE.friendly.usr <<-?- ESMeos
94update.1.15.childName = SAdmir: Estonia.usr <<-?- ESMeos
95update.1.15.childType = RoleTarget
96update.1.15.childProcessing = verifier
97
98update.1.16.type = node
99update.1.16.nodeType = RoleTarget
100update.1.16.name = SAdmir: Estonia.usr <<-?- ESMeos
101update.1.16.processing = verifier
102update.1.16.satisfied = Unknown
103
104update.1.17.type = node
105update.1.17.nodeType = LinkedRoleTarget
106update.1.17.name = SAdmir: SE.friendly.usr <<-?- ESMeos
107update.1.17.processing = opponent
108update.1.17.satisfied = Unknown
109
110update.1.18.type = node
111update.1.18.name = SAdmir: SE.friendly.usr <<-?- ESMeos
112update.1.18.processing = verifier
113
114update.1.19.type = edge
115update.1.19.edgeType = Implication
116update.1.19.parentName = SAdmir: SAdmir.needsSLocs <<-?- ESMeos
117update.1.19.childName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- ESMeos
118update.1.19.childType = LinkedRoleTarget
119update.1.19.childProcessing = opponent
120update.1.19.evidence.1 = SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr
121
122update.1.20.type = node
123update.1.20.nodeType = LinkedRoleTarget
124update.1.20.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- ESMeos
125update.1.20.processing = opponent
126update.1.20.satisfied = Unknown
127
128update.1.21.type = node
129update.1.21.nodeType = RoleTarget
130update.1.21.name = SAdmir: SAdmir.needsSLocs <<-?- ESMeos
131update.1.21.processing = opponent
132update.1.21.satisfied = Unknown
133
134update.1.22.type = node
135update.1.22.name = SAdmir: SAdmir.needsSLocs <<-?- ESMeos
136update.1.22.processing = verifier
137
138update.1.23.type = edge
139update.1.23.edgeType = LinkingMonitor
140update.1.23.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- ESMeos
141update.1.23.childName = SAdmir: ?X.NRetTacUsr <<-?- ESMeos
142update.1.23.childType = LinkingGoal
143update.1.23.childProcessing = verifier
144
145update.1.24.type = node
146update.1.24.nodeType = LinkingGoal
147update.1.24.name = SAdmir: ?X.NRetTacUsr <<-?- ESMeos
148update.1.24.processing = verifier
149update.1.24.satisfied = Incomplete
150
151update.2.location = remote
152
153update.2.1.type = node
154update.2.1.name = SAdmir: US.usr <<-?- ESMeos
155update.2.1.processing = opponent
156
157update.2.2.type = node
158update.2.2.nodeType = RoleTarget
159update.2.2.name = SAdmir: US.usr <<-?- ESMeos
160update.2.2.processing = fully
161update.2.2.satisfied = Failed
162
163update.2.3.type = edge
164update.2.3.edgeType = Implication
165update.2.3.parentName = SAdmir: Estonia.usr <<-?- ESMeos
166update.2.3.childName = SAdmir: ESMeos <<-?- ESMeos
167update.2.3.childType = TrivialTarget
168update.2.3.childProcessing = fully
169update.2.3.evidence.1 = Estonia.usr<-ESMeos
170
171update.2.4.type = node
172update.2.4.nodeType = TrivialTarget
173update.2.4.name = SAdmir: ESMeos <<-?- ESMeos
174update.2.4.processing = fully
175update.2.4.satisfied = Satisfied
176
177update.2.5.type = node
178update.2.5.nodeType = RoleTarget
179update.2.5.name = SAdmir: Estonia.usr <<-?- ESMeos
180update.2.5.processing = verifier
181update.2.5.satisfied = Unknown
182
183update.2.6.type = node
184update.2.6.nodeType = RoleTarget
185update.2.6.name = SAdmir: Estonia.usr <<-?- ESMeos
186update.2.6.processing = verifier
187update.2.6.satisfied = Satisfied
188
189update.2.7.type = node
190update.2.7.nodeType = LinkedRoleTarget
191update.2.7.name = SAdmir: SE.friendly.usr <<-?- ESMeos
192update.2.7.processing = fully
193update.2.7.satisfied = Satisfied
194
195update.2.8.type = node
196update.2.8.name = SAdmir: Estonia.usr <<-?- ESMeos
197update.2.8.processing = opponent
198
199update.2.9.type = edge
200update.2.9.edgeType = LinkingSolution
201update.2.9.parentName = SAdmir: ?X.NRetTacUsr <<-?- ESMeos
202update.2.9.childName = SAdmir: CaptMets.NRetTacUsr <<-?- ESMeos
203update.2.9.childType = RoleTarget
204update.2.9.childProcessing = verifier
205
206update.2.10.type = node
207update.2.10.nodeType = RoleTarget
208update.2.10.name = SAdmir: CaptMets.NRetTacUsr <<-?- ESMeos
209update.2.10.processing = verifier
210update.2.10.satisfied = Unknown
211
212update.2.11.type = node
213update.2.11.name = SAdmir: ?X.NRetTacUsr <<-?- ESMeos
214update.2.11.processing = opponent
215
216update.2.12.type = node
217update.2.12.nodeType = LinkingGoal
218update.2.12.name = SAdmir: ?X.NRetTacUsr <<-?- ESMeos
219update.2.12.processing = fully
220update.2.12.satisfied = Incomplete
221
222update.2.13.type = edge
223update.2.13.edgeType = Implication
224update.2.13.parentName = SAdmir: CaptMets.NRetTacUsr <<-?- ESMeos
225update.2.13.childName = SAdmir: EstNavy.assignedNRet <<-?- ESMeos
226update.2.13.childType = RoleTarget
227update.2.13.childProcessing = verifier
228update.2.13.evidence.1 = CaptMets.NRetTacUsr<-EstNavy.assignedNRet
229
230update.2.14.type = node
231update.2.14.nodeType = RoleTarget
232update.2.14.name = SAdmir: EstNavy.assignedNRet <<-?- ESMeos
233update.2.14.processing = verifier
234update.2.14.satisfied = Unknown
235
236update.2.15.type = node
237update.2.15.nodeType = RoleTarget
238update.2.15.name = SAdmir: CaptMets.NRetTacUsr <<-?- ESMeos
239update.2.15.processing = verifier
240update.2.15.satisfied = Unknown
241
242update.2.16.type = node
243update.2.16.name = SAdmir: CaptMets.NRetTacUsr <<-?- ESMeos
244update.2.16.processing = opponent
245
246update.2.17.type = edge
247update.2.17.edgeType = Control
248update.2.17.parentName = SAdmir: EstNavy.assignedNRet <<-?- ESMeos
249update.2.17.childName = ESMeos: Estonia.friendly.usr <<-?- SAdmir
250update.2.17.childType = LinkedRoleTarget
251update.2.17.childProcessing = opponent
252
253update.2.18.type = node
254update.2.18.nodeType = LinkedRoleTarget
255update.2.18.name = ESMeos: Estonia.friendly.usr <<-?- SAdmir
256update.2.18.processing = opponent
257update.2.18.satisfied = Unknown
258
259update.2.19.type = edge
260update.2.19.edgeType = Implication
261update.2.19.parentName = ESMeos: Estonia.friendly.usr <<-?- SAdmir
262update.2.19.childName = ESMeos: SE.usr <<-?- SAdmir
263update.2.19.childType = RoleTarget
264update.2.19.childProcessing = verifier
265
266update.2.20.type = node
267update.2.20.nodeType = RoleTarget
268update.2.20.name = ESMeos: SE.usr <<-?- SAdmir
269update.2.20.processing = verifier
270update.2.20.satisfied = Unknown
271
272update.2.21.type = node
273update.2.21.nodeType = LinkedRoleTarget
274update.2.21.name = ESMeos: Estonia.friendly.usr <<-?- SAdmir
275update.2.21.processing = opponent
276update.2.21.satisfied = Unknown
277
278update.2.22.type = node
279update.2.22.name = ESMeos: Estonia.friendly.usr <<-?- SAdmir
280update.2.22.processing = verifier
281
282update.3.location = local
283
284update.3.1.type = edge
285update.3.1.edgeType = Implication
286update.3.1.parentName = ESMeos: SE.usr <<-?- SAdmir
287update.3.1.childName = ESMeos: SAdmir <<-?- SAdmir
288update.3.1.childType = TrivialTarget
289update.3.1.childProcessing = fully
290update.3.1.evidence.1 = SE.usr<-SAdmir
291
292update.3.2.type = node
293update.3.2.nodeType = TrivialTarget
294update.3.2.name = ESMeos: SAdmir <<-?- SAdmir
295update.3.2.processing = fully
296update.3.2.satisfied = Satisfied
297
298update.3.3.type = node
299update.3.3.nodeType = RoleTarget
300update.3.3.name = ESMeos: SE.usr <<-?- SAdmir
301update.3.3.processing = verifier
302update.3.3.satisfied = Unknown
303
304update.3.4.type = node
305update.3.4.nodeType = RoleTarget
306update.3.4.name = ESMeos: SE.usr <<-?- SAdmir
307update.3.4.processing = verifier
308update.3.4.satisfied = Satisfied
309
310update.3.5.type = node
311update.3.5.nodeType = LinkedRoleTarget
312update.3.5.name = ESMeos: Estonia.friendly.usr <<-?- SAdmir
313update.3.5.processing = fully
314update.3.5.satisfied = Satisfied
315
316update.3.6.type = node
317update.3.6.name = ESMeos: SE.usr <<-?- SAdmir
318update.3.6.processing = opponent
319
320update.4.location = remote
321
322update.4.1.type = edge
323update.4.1.edgeType = Implication
324update.4.1.parentName = SAdmir: EstNavy.assignedNRet <<-?- ESMeos
325update.4.1.childName = SAdmir: ESMeos <<-?- ESMeos
326update.4.1.childType = TrivialTarget
327update.4.1.childProcessing = null
328update.4.1.evidence.1 = EstNavy.assignedNRet<-ESMeos
329
330update.4.2.type = node
331update.4.2.nodeType = RoleTarget
332update.4.2.name = SAdmir: EstNavy.assignedNRet <<-?- ESMeos
333update.4.2.processing = verifier
334update.4.2.satisfied = Unknown
335
336update.4.3.type = node
337update.4.3.nodeType = RoleTarget
338update.4.3.name = SAdmir: EstNavy.assignedNRet <<-?- ESMeos
339update.4.3.processing = verifier
340update.4.3.satisfied = Satisfied
341
342update.4.4.type = node
343update.4.4.nodeType = RoleTarget
344update.4.4.name = SAdmir: CaptMets.NRetTacUsr <<-?- ESMeos
345update.4.4.processing = fully
346update.4.4.satisfied = Satisfied
347
348update.4.5.type = node
349update.4.5.nodeType = LinkingGoal
350update.4.5.name = SAdmir: ?X.NRetTacUsr <<-?- ESMeos
351update.4.5.processing = fully
352update.4.5.satisfied = Complete
353
354update.4.6.type = node
355update.4.6.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- ESMeos
356update.4.6.processing = verifier
357
358update.4.7.type = node
359update.4.7.name = SAdmir: EstNavy.assignedNRet <<-?- ESMeos
360update.4.7.processing = opponent
361
362update.5.location = local
363
364update.5.1.type = edge
365update.5.1.edgeType = LinkingImplication
366update.5.1.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- ESMeos
367update.5.1.childName = SAdmir: SAdmir.NRetTacCom <<-?- CaptMets
368update.5.1.childType = RoleTarget
369update.5.1.childProcessing = opponent
370
371update.5.2.type = node
372update.5.2.nodeType = RoleTarget
373update.5.2.name = SAdmir: SAdmir.NRetTacCom <<-?- CaptMets
374update.5.2.processing = opponent
375update.5.2.satisfied = Unknown
376
377update.5.3.type = node
378update.5.3.nodeType = LinkedRoleTarget
379update.5.3.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- ESMeos
380update.5.3.processing = fully
381update.5.3.satisfied = Unknown
382
383update.5.4.type = edge
384update.5.4.edgeType = Implication
385update.5.4.parentName = SAdmir: SAdmir.NRetTacCom <<-?- CaptMets
386update.5.4.childName = SAdmir: FinnCOM.NRetFinnTacCom <<-?- CaptMets
387update.5.4.childType = RoleTarget
388update.5.4.childProcessing = opponent
389update.5.4.evidence.1 = SAdmir.NRetTacCom<-FinnCOM.NRetFinnTacCom
390
391update.5.5.type = node
392update.5.5.nodeType = RoleTarget
393update.5.5.name = SAdmir: FinnCOM.NRetFinnTacCom <<-?- CaptMets
394update.5.5.processing = opponent
395update.5.5.satisfied = Unknown
396
397update.5.6.type = node
398update.5.6.nodeType = RoleTarget
399update.5.6.name = SAdmir: SAdmir.NRetTacCom <<-?- CaptMets
400update.5.6.processing = opponent
401update.5.6.satisfied = Unknown
402
403update.5.7.type = edge
404update.5.7.edgeType = Implication
405update.5.7.parentName = SAdmir: SAdmir.NRetTacCom <<-?- CaptMets
406update.5.7.childName = SAdmir: EstoniaCOM.NRetEstTacCom <<-?- CaptMets
407update.5.7.childType = RoleTarget
408update.5.7.childProcessing = opponent
409update.5.7.evidence.1 = SAdmir.NRetTacCom<-EstoniaCOM.NRetEstTacCom
410
411update.5.8.type = node
412update.5.8.nodeType = RoleTarget
413update.5.8.name = SAdmir: EstoniaCOM.NRetEstTacCom <<-?- CaptMets
414update.5.8.processing = opponent
415update.5.8.satisfied = Unknown
416
417update.5.9.type = node
418update.5.9.nodeType = RoleTarget
419update.5.9.name = SAdmir: SAdmir.NRetTacCom <<-?- CaptMets
420update.5.9.processing = opponent
421update.5.9.satisfied = Unknown
422
423update.5.10.type = edge
424update.5.10.edgeType = Implication
425update.5.10.parentName = SAdmir: SAdmir.NRetTacCom <<-?- CaptMets
426update.5.10.childName = SAdmir: USEUCOM.NRetUSTacCom <<-?- CaptMets
427update.5.10.childType = RoleTarget
428update.5.10.childProcessing = verifier
429update.5.10.evidence.1 = SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom
430
431update.5.11.type = node
432update.5.11.nodeType = RoleTarget
433update.5.11.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- CaptMets
434update.5.11.processing = verifier
435update.5.11.satisfied = Unknown
436
437update.5.12.type = node
438update.5.12.nodeType = RoleTarget
439update.5.12.name = SAdmir: SAdmir.NRetTacCom <<-?- CaptMets
440update.5.12.processing = opponent
441update.5.12.satisfied = Unknown
442
443update.5.13.type = node
444update.5.13.name = SAdmir: SAdmir.NRetTacCom <<-?- CaptMets
445update.5.13.processing = verifier
446
447update.5.14.type = node
448update.5.14.nodeType = RoleTarget
449update.5.14.name = SAdmir: FinnCOM.NRetFinnTacCom <<-?- CaptMets
450update.5.14.processing = fully
451update.5.14.satisfied = Failed
452
453update.5.15.type = node
454update.5.15.name = SAdmir: FinnCOM.NRetFinnTacCom <<-?- CaptMets
455update.5.15.processing = verifier
456
457update.5.16.type = node
458update.5.16.nodeType = RoleTarget
459update.5.16.name = SAdmir: EstoniaCOM.NRetEstTacCom <<-?- CaptMets
460update.5.16.processing = fully
461update.5.16.satisfied = Failed
462
463update.5.17.type = node
464update.5.17.name = SAdmir: EstoniaCOM.NRetEstTacCom <<-?- CaptMets
465update.5.17.processing = verifier
466
467update.6.location = remote
468
469update.6.1.type = node
470update.6.1.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- CaptMets
471update.6.1.processing = opponent
472
473update.6.2.type = node
474update.6.2.nodeType = RoleTarget
475update.6.2.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- CaptMets
476update.6.2.processing = fully
477update.6.2.satisfied = Failed
478
479update.6.3.type = node
480update.6.3.nodeType = RoleTarget
481update.6.3.name = SAdmir: SAdmir.NRetTacCom <<-?- CaptMets
482update.6.3.processing = fully
483update.6.3.satisfied = Failed
484
485update.6.4.type = node
486update.6.4.nodeType = LinkedRoleTarget
487update.6.4.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- ESMeos
488update.6.4.processing = fully
489update.6.4.satisfied = Failed
490
491update.6.5.type = node
492update.6.5.nodeType = RoleTarget
493update.6.5.name = SAdmir: SAdmir.needsSLocs <<-?- ESMeos
494update.6.5.processing = fully
495update.6.5.satisfied = Failed
496
497update.6.6.type = node
498update.6.6.nodeType = IntersectionTarget
499update.6.6.name = SAdmir: SE.friendly.usr ^ SAdmir.needsSLocs <<-?- ESMeos
500update.6.6.processing = fully
501update.6.6.satisfied = Failed
502
503update.6.7.type = node
504update.6.7.nodeType = RoleTarget
505update.6.7.name = SAdmir: SAdmir.getsSLocs <<-?- ESMeos
506update.6.7.processing = fully
507update.6.7.satisfied = Failed
508
Note: See TracBrowser for help on using the repository browser.