source: fedd/abac-src/atnvis/strategy_comparison/sadmir-ussh_ussh/SAdmir.prop @ 3c20a31

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

ABAC sources from Cobham

  • Property mode set to 100644
File size: 9.6 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: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
26update.1.4.childType = LinkedRoleTarget
27update.1.4.childProcessing = opponent
28update.1.4.evidence.1 = SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr
29update.1.4.evidence.2 = SAdmir.getsSLocs<-SAdmir.needsSLocs
30
31update.1.5.type = node
32update.1.5.nodeType = LinkedRoleTarget
33update.1.5.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- 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 = edge
44update.1.7.edgeType = LinkingMonitor
45update.1.7.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
46update.1.7.childName = SAdmir: ?X.NRetTacUsr <<-?- USSH
47update.1.7.childType = LinkingGoal
48update.1.7.childProcessing = verifier
49
50update.1.8.type = node
51update.1.8.nodeType = LinkingGoal
52update.1.8.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
53update.1.8.processing = verifier
54update.1.8.satisfied = Incomplete
55
56update.2.location = remote
57
58update.2.1.type = edge
59update.2.1.edgeType = LinkingSolution
60update.2.1.parentName = SAdmir: ?X.NRetTacUsr <<-?- USSH
61update.2.1.childName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
62update.2.1.childType = RoleTarget
63update.2.1.childProcessing = verifier
64
65update.2.2.type = node
66update.2.2.nodeType = RoleTarget
67update.2.2.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
68update.2.2.processing = verifier
69update.2.2.satisfied = Unknown
70
71update.2.3.type = node
72update.2.3.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
73update.2.3.processing = opponent
74
75update.2.4.type = node
76update.2.4.nodeType = LinkingGoal
77update.2.4.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
78update.2.4.processing = fully
79update.2.4.satisfied = Incomplete
80
81update.2.5.type = edge
82update.2.5.edgeType = Implication
83update.2.5.parentName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
84update.2.5.childName = SAdmir: USN.assignedNRet <<-?- USSH
85update.2.5.childType = RoleTarget
86update.2.5.childProcessing = verifier
87update.2.5.evidence.1 = RADMSmith.NRetTacUsr<-USN.assignedNRet
88
89update.2.6.type = node
90update.2.6.nodeType = RoleTarget
91update.2.6.name = SAdmir: USN.assignedNRet <<-?- USSH
92update.2.6.processing = verifier
93update.2.6.satisfied = Unknown
94
95update.2.7.type = node
96update.2.7.nodeType = RoleTarget
97update.2.7.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
98update.2.7.processing = verifier
99update.2.7.satisfied = Unknown
100
101update.2.8.type = node
102update.2.8.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
103update.2.8.processing = opponent
104
105update.2.9.type = edge
106update.2.9.edgeType = Control
107update.2.9.parentName = SAdmir: USN.assignedNRet <<-?- USSH
108update.2.9.childName = USSH: US.friendly.usr <<-?- SAdmir
109update.2.9.childType = LinkedRoleTarget
110update.2.9.childProcessing = opponent
111
112update.2.10.type = node
113update.2.10.nodeType = LinkedRoleTarget
114update.2.10.name = USSH: US.friendly.usr <<-?- SAdmir
115update.2.10.processing = opponent
116update.2.10.satisfied = Unknown
117
118update.2.11.type = edge
119update.2.11.edgeType = Implication
120update.2.11.parentName = USSH: US.friendly.usr <<-?- SAdmir
121update.2.11.childName = USSH: SE.usr <<-?- SAdmir
122update.2.11.childType = RoleTarget
123update.2.11.childProcessing = verifier
124
125update.2.12.type = node
126update.2.12.nodeType = RoleTarget
127update.2.12.name = USSH: SE.usr <<-?- SAdmir
128update.2.12.processing = verifier
129update.2.12.satisfied = Unknown
130
131update.2.13.type = node
132update.2.13.nodeType = LinkedRoleTarget
133update.2.13.name = USSH: US.friendly.usr <<-?- SAdmir
134update.2.13.processing = opponent
135update.2.13.satisfied = Unknown
136
137update.2.14.type = node
138update.2.14.name = USSH: US.friendly.usr <<-?- SAdmir
139update.2.14.processing = verifier
140
141update.3.location = local
142
143update.3.1.type = edge
144update.3.1.edgeType = Implication
145update.3.1.parentName = USSH: SE.usr <<-?- SAdmir
146update.3.1.childName = USSH: SAdmir <<-?- SAdmir
147update.3.1.childType = TrivialTarget
148update.3.1.childProcessing = fully
149update.3.1.evidence.1 = SE.usr<-SAdmir
150
151update.3.2.type = node
152update.3.2.nodeType = TrivialTarget
153update.3.2.name = USSH: SAdmir <<-?- SAdmir
154update.3.2.processing = fully
155update.3.2.satisfied = Satisfied
156
157update.3.3.type = node
158update.3.3.nodeType = RoleTarget
159update.3.3.name = USSH: SE.usr <<-?- SAdmir
160update.3.3.processing = verifier
161update.3.3.satisfied = Unknown
162
163update.3.4.type = node
164update.3.4.nodeType = RoleTarget
165update.3.4.name = USSH: SE.usr <<-?- SAdmir
166update.3.4.processing = verifier
167update.3.4.satisfied = Satisfied
168
169update.3.5.type = node
170update.3.5.nodeType = LinkedRoleTarget
171update.3.5.name = USSH: US.friendly.usr <<-?- SAdmir
172update.3.5.processing = fully
173update.3.5.satisfied = Satisfied
174
175update.3.6.type = node
176update.3.6.name = USSH: SE.usr <<-?- SAdmir
177update.3.6.processing = opponent
178
179update.4.location = remote
180
181update.4.1.type = edge
182update.4.1.edgeType = Implication
183update.4.1.parentName = SAdmir: USN.assignedNRet <<-?- USSH
184update.4.1.childName = SAdmir: USSH <<-?- USSH
185update.4.1.childType = TrivialTarget
186update.4.1.childProcessing = fully
187update.4.1.evidence.1 = USN.assignedNRet<-USSH
188
189update.4.2.type = node
190update.4.2.nodeType = TrivialTarget
191update.4.2.name = SAdmir: USSH <<-?- USSH
192update.4.2.processing = fully
193update.4.2.satisfied = Satisfied
194
195update.4.3.type = node
196update.4.3.nodeType = RoleTarget
197update.4.3.name = SAdmir: USN.assignedNRet <<-?- USSH
198update.4.3.processing = verifier
199update.4.3.satisfied = Unknown
200
201update.4.4.type = node
202update.4.4.nodeType = RoleTarget
203update.4.4.name = SAdmir: USN.assignedNRet <<-?- USSH
204update.4.4.processing = verifier
205update.4.4.satisfied = Satisfied
206
207update.4.5.type = node
208update.4.5.nodeType = RoleTarget
209update.4.5.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
210update.4.5.processing = fully
211update.4.5.satisfied = Satisfied
212
213update.4.6.type = node
214update.4.6.nodeType = LinkingGoal
215update.4.6.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
216update.4.6.processing = fully
217update.4.6.satisfied = Complete
218
219update.4.7.type = node
220update.4.7.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
221update.4.7.processing = verifier
222
223update.4.8.type = node
224update.4.8.name = SAdmir: USN.assignedNRet <<-?- USSH
225update.4.8.processing = opponent
226
227update.5.location = local
228
229update.5.1.type = edge
230update.5.1.edgeType = LinkingImplication
231update.5.1.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
232update.5.1.childName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
233update.5.1.childType = RoleTarget
234update.5.1.childProcessing = opponent
235
236update.5.2.type = node
237update.5.2.nodeType = RoleTarget
238update.5.2.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
239update.5.2.processing = opponent
240update.5.2.satisfied = Unknown
241
242update.5.3.type = node
243update.5.3.nodeType = LinkedRoleTarget
244update.5.3.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
245update.5.3.processing = fully
246update.5.3.satisfied = Unknown
247
248update.5.4.type = edge
249update.5.4.edgeType = Implication
250update.5.4.parentName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
251update.5.4.childName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
252update.5.4.childType = RoleTarget
253update.5.4.childProcessing = verifier
254update.5.4.evidence.1 = SAdmir.NRetTacCom<-USEUCOM.NRetUSTacCom
255
256update.5.5.type = node
257update.5.5.nodeType = RoleTarget
258update.5.5.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
259update.5.5.processing = verifier
260update.5.5.satisfied = Unknown
261
262update.5.6.type = node
263update.5.6.nodeType = RoleTarget
264update.5.6.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
265update.5.6.processing = opponent
266update.5.6.satisfied = Unknown
267
268update.6.location = remote
269
270update.6.1.type = edge
271update.6.1.edgeType = Implication
272update.6.1.parentName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
273update.6.1.childName = SAdmir: RADMSmith <<-?- RADMSmith
274update.6.1.childType = TrivialTarget
275update.6.1.childProcessing = fully
276update.6.1.evidence.1 = USEUCOM.NRetUSTacCom<-RADMSmith
277
278update.6.2.type = node
279update.6.2.nodeType = TrivialTarget
280update.6.2.name = SAdmir: RADMSmith <<-?- RADMSmith
281update.6.2.processing = fully
282update.6.2.satisfied = Satisfied
283
284update.6.3.type = node
285update.6.3.nodeType = RoleTarget
286update.6.3.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
287update.6.3.processing = verifier
288update.6.3.satisfied = Unknown
289
290update.6.4.type = node
291update.6.4.nodeType = RoleTarget
292update.6.4.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
293update.6.4.processing = verifier
294update.6.4.satisfied = Satisfied
295
296update.6.5.type = node
297update.6.5.nodeType = RoleTarget
298update.6.5.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
299update.6.5.processing = opponent
300update.6.5.satisfied = Satisfied
301
302update.6.6.type = node
303update.6.6.nodeType = LinkedRoleTarget
304update.6.6.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
305update.6.6.processing = fully
306update.6.6.satisfied = Satisfied
307
308update.6.7.type = node
309update.6.7.nodeType = RoleTarget
310update.6.7.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
311update.6.7.processing = opponent
312update.6.7.satisfied = Satisfied
313
314update.6.8.type = node
315update.6.8.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
316update.6.8.processing = opponent
317
Note: See TracBrowser for help on using the repository browser.