source: fedd/abac-src/atnvis/strategy_comparison/sadmir-ussh_visby/SAdmir.prop @ 4adc697

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