source: fedd/abac-src/atnvis/strategy_comparison/sadmir-ussh_visby/USSH.prop @ 1d913e13

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

ABAC sources from Cobham

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