source: fedd/abac-src/atnvis/linked/SAdmir.prop @ 2f14616

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

ABAC sources from Cobham
  • Property mode set to 100644
File size: 13.4 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: SE.friendly.usr ^ SAdmir.needsSLocs <<-?- USSH
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 <<-?- USSH
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 <<-?- USSH
39update.1.6.processing = opponent
40update.1.6.satisfied = Unknown
41
42update.1.7.type = node
43update.1.7.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
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 <<-?- USSH
49update.1.8.childName = SAdmir: SE.friendly.usr <<-?- USSH
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 <<-?- USSH
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 <<-?- USSH
62update.1.10.childName = SAdmir: SAdmir.needsSLocs <<-?- USSH
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 <<-?- USSH
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 <<-?- USSH
75update.1.12.childName = SAdmir: US.usr <<-?- USSH
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 <<-?- USSH
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 <<-?- USSH
88update.1.14.processing = opponent
89update.1.14.satisfied = Unknown
90
91update.1.15.type = node
92update.1.15.name = SAdmir: SE.friendly.usr <<-?- USSH
93update.1.15.processing = verifier
94
95update.1.16.type = edge
96update.1.16.edgeType = Implication
97update.1.16.parentName = SAdmir: SAdmir.needsSLocs <<-?- USSH
98update.1.16.childName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
99update.1.16.childType = LinkedRoleTarget
100update.1.16.childProcessing = opponent
101update.1.16.evidence.1 = SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr
102
103update.1.17.type = node
104update.1.17.nodeType = LinkedRoleTarget
105update.1.17.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
106update.1.17.processing = opponent
107update.1.17.satisfied = Unknown
108
109update.1.18.type = node
110update.1.18.nodeType = RoleTarget
111update.1.18.name = SAdmir: SAdmir.needsSLocs <<-?- USSH
112update.1.18.processing = opponent
113update.1.18.satisfied = Unknown
114
115update.1.19.type = node
116update.1.19.name = SAdmir: SAdmir.needsSLocs <<-?- USSH
117update.1.19.processing = verifier
118
119update.1.20.type = edge
120update.1.20.edgeType = LinkingMonitor
121update.1.20.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
122update.1.20.childName = SAdmir: ?X.NRetTacUsr <<-?- USSH
123update.1.20.childType = LinkingGoal
124update.1.20.childProcessing = verifier
125
126update.1.21.type = node
127update.1.21.nodeType = LinkingGoal
128update.1.21.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
129update.1.21.processing = verifier
130update.1.21.satisfied = Incomplete
131
132update.2.location = remote
133
134update.2.1.type = edge
135update.2.1.edgeType = Implication
136update.2.1.parentName = SAdmir: US.usr <<-?- USSH
137update.2.1.childName = SAdmir: USSH <<-?- USSH
138update.2.1.childType = TrivialTarget
139update.2.1.childProcessing = fully
140update.2.1.evidence.1 = US.usr<-USSH
141
142update.2.2.type = node
143update.2.2.nodeType = TrivialTarget
144update.2.2.name = SAdmir: USSH <<-?- USSH
145update.2.2.processing = fully
146update.2.2.satisfied = Satisfied
147
148update.2.3.type = node
149update.2.3.nodeType = RoleTarget
150update.2.3.name = SAdmir: US.usr <<-?- USSH
151update.2.3.processing = verifier
152update.2.3.satisfied = Unknown
153
154update.2.4.type = node
155update.2.4.nodeType = RoleTarget
156update.2.4.name = SAdmir: US.usr <<-?- USSH
157update.2.4.processing = verifier
158update.2.4.satisfied = Satisfied
159
160update.2.5.type = node
161update.2.5.nodeType = LinkedRoleTarget
162update.2.5.name = SAdmir: SE.friendly.usr <<-?- USSH
163update.2.5.processing = fully
164update.2.5.satisfied = Satisfied
165
166update.2.6.type = node
167update.2.6.name = SAdmir: US.usr <<-?- USSH
168update.2.6.processing = opponent
169
170update.2.7.type = edge
171update.2.7.edgeType = LinkingSolution
172update.2.7.parentName = SAdmir: ?X.NRetTacUsr <<-?- USSH
173update.2.7.childName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
174update.2.7.childType = RoleTarget
175update.2.7.childProcessing = verifier
176
177update.2.8.type = node
178update.2.8.nodeType = RoleTarget
179update.2.8.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
180update.2.8.processing = verifier
181update.2.8.satisfied = Unknown
182
183update.2.9.type = node
184update.2.9.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
185update.2.9.processing = opponent
186
187update.2.10.type = node
188update.2.10.nodeType = LinkingGoal
189update.2.10.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
190update.2.10.processing = fully
191update.2.10.satisfied = Incomplete
192
193update.2.11.type = edge
194update.2.11.edgeType = Implication
195update.2.11.parentName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
196update.2.11.childName = SAdmir: USN.assignedNRet <<-?- USSH
197update.2.11.childType = RoleTarget
198update.2.11.childProcessing = verifier
199update.2.11.evidence.1 = RADMSmith.NRetTacUsr<-USN.assignedNRet
200
201update.2.12.type = node
202update.2.12.nodeType = RoleTarget
203update.2.12.name = SAdmir: USN.assignedNRet <<-?- USSH
204update.2.12.processing = verifier
205update.2.12.satisfied = Unknown
206
207update.2.13.type = node
208update.2.13.nodeType = RoleTarget
209update.2.13.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
210update.2.13.processing = verifier
211update.2.13.satisfied = Unknown
212
213update.2.14.type = node
214update.2.14.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
215update.2.14.processing = opponent
216
217update.2.15.type = edge
218update.2.15.edgeType = Control
219update.2.15.parentName = SAdmir: USN.assignedNRet <<-?- USSH
220update.2.15.childName = USSH: US.friendly.usr <<-?- SAdmir
221update.2.15.childType = LinkedRoleTarget
222update.2.15.childProcessing = opponent
223
224update.2.16.type = node
225update.2.16.nodeType = LinkedRoleTarget
226update.2.16.name = USSH: US.friendly.usr <<-?- SAdmir
227update.2.16.processing = opponent
228update.2.16.satisfied = Unknown
229
230update.2.17.type = edge
231update.2.17.edgeType = Implication
232update.2.17.parentName = USSH: US.friendly.usr <<-?- SAdmir
233update.2.17.childName = USSH: SE.usr <<-?- SAdmir
234update.2.17.childType = RoleTarget
235update.2.17.childProcessing = verifier
236
237update.2.18.type = node
238update.2.18.nodeType = RoleTarget
239update.2.18.name = USSH: SE.usr <<-?- SAdmir
240update.2.18.processing = verifier
241update.2.18.satisfied = Unknown
242
243update.2.19.type = node
244update.2.19.nodeType = LinkedRoleTarget
245update.2.19.name = USSH: US.friendly.usr <<-?- SAdmir
246update.2.19.processing = opponent
247update.2.19.satisfied = Unknown
248
249update.2.20.type = node
250update.2.20.name = USSH: US.friendly.usr <<-?- SAdmir
251update.2.20.processing = verifier
252
253update.3.location = local
254
255update.3.1.type = edge
256update.3.1.edgeType = Implication
257update.3.1.parentName = USSH: SE.usr <<-?- SAdmir
258update.3.1.childName = USSH: SAdmir <<-?- SAdmir
259update.3.1.childType = TrivialTarget
260update.3.1.childProcessing = fully
261update.3.1.evidence.1 = SE.usr<-SAdmir
262
263update.3.2.type = node
264update.3.2.nodeType = TrivialTarget
265update.3.2.name = USSH: SAdmir <<-?- SAdmir
266update.3.2.processing = fully
267update.3.2.satisfied = Satisfied
268
269update.3.3.type = node
270update.3.3.nodeType = RoleTarget
271update.3.3.name = USSH: SE.usr <<-?- SAdmir
272update.3.3.processing = verifier
273update.3.3.satisfied = Unknown
274
275update.3.4.type = node
276update.3.4.nodeType = RoleTarget
277update.3.4.name = USSH: SE.usr <<-?- SAdmir
278update.3.4.processing = verifier
279update.3.4.satisfied = Satisfied
280
281update.3.5.type = node
282update.3.5.nodeType = LinkedRoleTarget
283update.3.5.name = USSH: US.friendly.usr <<-?- SAdmir
284update.3.5.processing = fully
285update.3.5.satisfied = Satisfied
286
287update.3.6.type = node
288update.3.6.name = USSH: SE.usr <<-?- SAdmir
289update.3.6.processing = opponent
290
291update.4.location = remote
292
293update.4.1.type = edge
294update.4.1.edgeType = Implication
295update.4.1.parentName = SAdmir: USN.assignedNRet <<-?- USSH
296update.4.1.childName = SAdmir: USSH <<-?- USSH
297update.4.1.childType = TrivialTarget
298update.4.1.childProcessing = null
299update.4.1.evidence.1 = USN.assignedNRet<-USSH
300
301update.4.2.type = node
302update.4.2.nodeType = RoleTarget
303update.4.2.name = SAdmir: USN.assignedNRet <<-?- USSH
304update.4.2.processing = verifier
305update.4.2.satisfied = Unknown
306
307update.4.3.type = node
308update.4.3.nodeType = RoleTarget
309update.4.3.name = SAdmir: USN.assignedNRet <<-?- USSH
310update.4.3.processing = verifier
311update.4.3.satisfied = Satisfied
312
313update.4.4.type = node
314update.4.4.nodeType = RoleTarget
315update.4.4.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
316update.4.4.processing = fully
317update.4.4.satisfied = Satisfied
318
319update.4.5.type = node
320update.4.5.nodeType = LinkingGoal
321update.4.5.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
322update.4.5.processing = fully
323update.4.5.satisfied = Complete
324
325update.4.6.type = node
326update.4.6.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
327update.4.6.processing = verifier
328
329update.4.7.type = node
330update.4.7.name = SAdmir: USN.assignedNRet <<-?- USSH
331update.4.7.processing = opponent
332
333update.5.location = local
334
335update.5.1.type = edge
336update.5.1.edgeType = LinkingImplication
337update.5.1.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
338update.5.1.childName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
339update.5.1.childType = RoleTarget
340update.5.1.childProcessing = opponent
341
342update.5.2.type = node
343update.5.2.nodeType = RoleTarget
344update.5.2.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
345update.5.2.processing = opponent
346update.5.2.satisfied = Unknown
347
348update.5.3.type = node
349update.5.3.nodeType = LinkedRoleTarget
350update.5.3.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
351update.5.3.processing = fully
352update.5.3.satisfied = Unknown
353
354update.5.4.type = edge
355update.5.4.edgeType = Implication
356update.5.4.parentName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
357update.5.4.childName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
358update.5.4.childType = RoleTarget
359update.5.4.childProcessing = verifier
360update.5.4.evidence.1 = SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom
361
362update.5.5.type = node
363update.5.5.nodeType = RoleTarget
364update.5.5.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
365update.5.5.processing = verifier
366update.5.5.satisfied = Unknown
367
368update.5.6.type = node
369update.5.6.nodeType = RoleTarget
370update.5.6.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
371update.5.6.processing = opponent
372update.5.6.satisfied = Unknown
373
374update.5.7.type = node
375update.5.7.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
376update.5.7.processing = verifier
377
378update.6.location = remote
379
380update.6.1.type = edge
381update.6.1.edgeType = Implication
382update.6.1.parentName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
383update.6.1.childName = SAdmir: RADMSmith <<-?- RADMSmith
384update.6.1.childType = TrivialTarget
385update.6.1.childProcessing = fully
386update.6.1.evidence.1 = USEUCOM.NRetUSTacCom<-RADMSmith
387
388update.6.2.type = node
389update.6.2.nodeType = TrivialTarget
390update.6.2.name = SAdmir: RADMSmith <<-?- RADMSmith
391update.6.2.processing = fully
392update.6.2.satisfied = Satisfied
393
394update.6.3.type = node
395update.6.3.nodeType = RoleTarget
396update.6.3.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
397update.6.3.processing = verifier
398update.6.3.satisfied = Unknown
399
400update.6.4.type = node
401update.6.4.nodeType = RoleTarget
402update.6.4.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
403update.6.4.processing = verifier
404update.6.4.satisfied = Satisfied
405
406update.6.5.type = node
407update.6.5.nodeType = RoleTarget
408update.6.5.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
409update.6.5.processing = fully
410update.6.5.satisfied = Satisfied
411
412update.6.6.type = node
413update.6.6.nodeType = LinkedRoleTarget
414update.6.6.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
415update.6.6.processing = fully
416update.6.6.satisfied = Satisfied
417
418update.6.7.type = node
419update.6.7.nodeType = RoleTarget
420update.6.7.name = SAdmir: SAdmir.needsSLocs <<-?- USSH
421update.6.7.processing = fully
422update.6.7.satisfied = Satisfied
423
424update.6.8.type = node
425update.6.8.nodeType = IntersectionTarget
426update.6.8.name = SAdmir: SE.friendly.usr ^ SAdmir.needsSLocs <<-?- USSH
427update.6.8.processing = fully
428update.6.8.satisfied = Satisfied
429
430update.6.9.type = node
431update.6.9.nodeType = RoleTarget
432update.6.9.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
433update.6.9.processing = fully
434update.6.9.satisfied = Satisfied
435
436update.6.10.type = node
437update.6.10.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
438update.6.10.processing = opponent
439
Note: See TracBrowser for help on using the repository browser.