source: fedd/abac-src/atnvis/linked/USSH.prop @ 16a23a6

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

ABAC sources from Cobham

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