source: fedd/abac-src/atnvis/strategy_comparison/sadmir-ussh_ussh/USSH.prop @ 181cf9c

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