source: fedd/abac-src/atnvis/linked/Alice.prop @ df783c1

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

ABAC sources from Cobham

  • Property mode set to 100755
File size: 8.8 KB
RevLine 
[8780cbec]1subject = Alice
2policy.1 = Ack[MedixFund.pA] = MedixFund.partner
3
4update.1.location = remote
5
6update.1.1.type = node
7update.1.1.name = MedSup: MedSup.discount <<-?- Alice
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 = MedSup: MedSup.discount <<-?- Alice
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 = MedSup: MedSup.discount <<-?- Alice
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 = MedSup: MedSup.discount <<-?- Alice
26update.1.4.childName = MedSup: MedSup.partner.pA <<-?- Alice
27update.1.4.childType = LinkedRoleTarget
28update.1.4.childProcessing = opponent
29update.1.4.evidence.1 = MedSup.discount<-MedSup.partner.pA
30update.1.5.type = node
31update.1.5.nodeType = LinkedRoleTarget
32update.1.5.name = MedSup: MedSup.partner.pA <<-?- Alice
33update.1.5.processing = opponent
34update.1.5.satisfied = Unknown
35
36update.1.6.type = node
37update.1.6.nodeType = RoleTarget
38update.1.6.name = MedSup: MedSup.discount <<-?- Alice
39update.1.6.processing = opponent
40update.1.6.satisfied = Unknown
41
42update.1.7.type = node
43update.1.7.name = MedSup: MedSup.discount <<-?- Alice
44update.1.7.processing = verifier
45
46update.1.8.type = edge
47update.1.8.edgeType = LinkingMonitor
48update.1.8.parentName = MedSup: MedSup.partner.pA <<-?- Alice
49update.1.8.childName = MedSup: ?X.pA <<-?- Alice
50update.1.8.childType = LinkingGoal
51update.1.8.childProcessing = verifier
52update.1.9.type = node
53update.1.9.nodeType = LinkingGoal
54update.1.9.name = MedSup: ?X.pA <<-?- Alice
55update.1.9.processing = verifier
56update.1.9.satisfied = Incomplete
57
58update.2.location = local
59
60update.2.1.type = edge
61update.2.1.edgeType = LinkingSolution
62update.2.1.parentName = MedSup: ?X.pA <<-?- Alice
63update.2.1.childName = MedSup: MedixFund.pA <<-?- Alice
64update.2.1.childType = RoleTarget
65update.2.1.childProcessing = verifier
66update.2.2.type = node
67update.2.2.nodeType = RoleTarget
68update.2.2.name = MedSup: MedixFund.pA <<-?- Alice
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 = MedSup: ?X.pA <<-?- Alice
75update.2.3.processing = fully
76update.2.3.satisfied = Incomplete
77
78update.2.4.type = node
79update.2.4.name = MedSup: ?X.pA <<-?- Alice
80update.2.4.processing = opponent
81
82update.2.5.type = edge
83update.2.5.edgeType = Control
84update.2.5.parentName = MedSup: MedixFund.pA <<-?- Alice
85update.2.5.childName = Alice: MedixFund.partner <<-?- MedSup
86update.2.5.childType = RoleTarget
87update.2.5.childProcessing = opponent
88update.2.6.type = node
89update.2.6.nodeType = RoleTarget
90update.2.6.name = Alice: MedixFund.partner <<-?- MedSup
91update.2.6.processing = opponent
92update.2.6.satisfied = Unknown
93
94update.2.7.type = edge
95update.2.7.edgeType = Implication
96update.2.7.parentName = Alice: MedixFund.partner <<-?- MedSup
97update.2.7.childName = Alice: ReliefNet.coaMember <<-?- MedSup
98update.2.7.childType = RoleTarget
99update.2.7.childProcessing = verifier
100update.2.7.evidence.1 = MedixFund.partner<-ReliefNet.coaMember
101update.2.8.type = node
102update.2.8.nodeType = RoleTarget
103update.2.8.name = Alice: ReliefNet.coaMember <<-?- MedSup
104update.2.8.processing = verifier
105update.2.8.satisfied = Unknown
106
107update.2.9.type = node
108update.2.9.nodeType = RoleTarget
109update.2.9.name = Alice: MedixFund.partner <<-?- MedSup
110update.2.9.processing = opponent
111update.2.9.satisfied = Unknown
112
113update.2.10.type = node
114update.2.10.name = Alice: MedixFund.partner <<-?- MedSup
115update.2.10.processing = verifier
116
117update.3.location = remote
118
119update.3.1.type = edge
120update.3.1.edgeType = Implication
121update.3.1.parentName = Alice: ReliefNet.coaMember <<-?- MedSup
122update.3.1.childName = Alice: MedSup <<-?- MedSup
123update.3.1.childType = TrivialTarget
124update.3.1.childProcessing = fully
125update.3.1.evidence.1 = ReliefNet.coaMember<-MedSup
126update.3.2.type = node
127update.3.2.nodeType = TrivialTarget
128update.3.2.name = Alice: MedSup <<-?- MedSup
129update.3.2.processing = fully
130update.3.2.satisfied = Satisfied
131
132update.3.3.type = node
133update.3.3.nodeType = RoleTarget
134update.3.3.name = Alice: ReliefNet.coaMember <<-?- MedSup
135update.3.3.processing = verifier
136update.3.3.satisfied = Unknown
137
138update.3.4.type = node
139update.3.4.nodeType = RoleTarget
140update.3.4.name = Alice: ReliefNet.coaMember <<-?- MedSup
141update.3.4.processing = verifier
142update.3.4.satisfied = Satisfied
143
144update.3.5.type = node
145update.3.5.nodeType = RoleTarget
146update.3.5.name = Alice: MedixFund.partner <<-?- MedSup
147update.3.5.processing = fully
148update.3.5.satisfied = Satisfied
149
150update.3.6.type = node
151update.3.6.name = Alice: ReliefNet.coaMember <<-?- MedSup
152update.3.6.processing = opponent
153
154update.4.location = local
155
156update.4.1.type = edge
157update.4.1.edgeType = Implication
158update.4.1.parentName = MedSup: MedixFund.pA <<-?- Alice
159update.4.1.childName = MedSup: Alice <<-?- Alice
160update.4.1.childType = TrivialTarget
161update.4.1.childProcessing = fully
162update.4.1.evidence.1 = MedixFund.pA<-Alice
163update.4.2.type = node
164update.4.2.nodeType = TrivialTarget
165update.4.2.name = MedSup: Alice <<-?- Alice
166update.4.2.processing = fully
167update.4.2.satisfied = Satisfied
168
169update.4.3.type = node
170update.4.3.nodeType = RoleTarget
171update.4.3.name = MedSup: MedixFund.pA <<-?- Alice
172update.4.3.processing = verifier
173update.4.3.satisfied = Unknown
174
175update.4.4.type = node
176update.4.4.nodeType = RoleTarget
177update.4.4.name = MedSup: MedixFund.pA <<-?- Alice
178update.4.4.processing = verifier
179update.4.4.satisfied = Satisfied
180
181update.4.5.type = node
182update.4.5.nodeType = LinkingGoal
183update.4.5.name = MedSup: ?X.pA <<-?- Alice
184update.4.5.processing = fully
185update.4.5.satisfied = Complete
186
187update.4.6.type = node
188update.4.6.name = MedSup: MedixFund.pA <<-?- Alice
189update.4.6.processing = opponent
190
191update.5.location = remote
192
193update.5.1.type = edge
194update.5.1.edgeType = LinkingImplication
195update.5.1.parentName = MedSup: MedSup.partner.pA <<-?- Alice
196update.5.1.childName = MedSup: MedSup.partner <<-?- MedixFund
197update.5.1.childType = RoleTarget
198update.5.1.childProcessing = opponent
199update.5.2.type = node
200update.5.2.nodeType = RoleTarget
201update.5.2.name = MedSup: MedSup.partner <<-?- MedixFund
202update.5.2.processing = opponent
203update.5.2.satisfied = Unknown
204
205update.5.3.type = node
206update.5.3.nodeType = LinkedRoleTarget
207update.5.3.name = MedSup: MedSup.partner.pA <<-?- Alice
208update.5.3.processing = opponent
209update.5.3.satisfied = Unknown
210
211update.5.4.type = node
212update.5.4.name = MedSup: MedSup.partner.pA <<-?- Alice
213update.5.4.processing = verifier
214
215update.5.5.type = edge
216update.5.5.edgeType = Implication
217update.5.5.parentName = MedSup: MedSup.partner <<-?- MedixFund
218update.5.5.childName = MedSup: ReliefNet.coaMember <<-?- MedixFund
219update.5.5.childType = RoleTarget
220update.5.5.childProcessing = verifier
221update.5.5.evidence.1 = MedSup.partner<-ReliefNet.coaMember
222update.5.6.type = node
223update.5.6.nodeType = RoleTarget
224update.5.6.name = MedSup: ReliefNet.coaMember <<-?- MedixFund
225update.5.6.processing = verifier
226update.5.6.satisfied = Unknown
227
228update.5.7.type = node
229update.5.7.nodeType = RoleTarget
230update.5.7.name = MedSup: MedSup.partner <<-?- MedixFund
231update.5.7.processing = opponent
232update.5.7.satisfied = Unknown
233
234update.5.8.type = node
235update.5.8.name = MedSup: MedSup.partner <<-?- MedixFund
236update.5.8.processing = verifier
237
238update.6.location = local
239
240update.6.1.type = edge
241update.6.1.edgeType = Implication
242update.6.1.parentName = MedSup: ReliefNet.coaMember <<-?- MedixFund
243update.6.1.childName = MedSup: MedixFund <<-?- MedixFund
244update.6.1.childType = TrivialTarget
245update.6.1.childProcessing = fully
246update.6.1.evidence.1 = ReliefNet.coaMember<-MedixFund
247update.6.2.type = node
248update.6.2.nodeType = TrivialTarget
249update.6.2.name = MedSup: MedixFund <<-?- MedixFund
250update.6.2.processing = fully
251update.6.2.satisfied = Satisfied
252
253update.6.3.type = node
254update.6.3.nodeType = RoleTarget
255update.6.3.name = MedSup: ReliefNet.coaMember <<-?- MedixFund
256update.6.3.processing = verifier
257update.6.3.satisfied = Unknown
258
259update.6.4.type = node
260update.6.4.nodeType = RoleTarget
261update.6.4.name = MedSup: ReliefNet.coaMember <<-?- MedixFund
262update.6.4.processing = verifier
263update.6.4.satisfied = Satisfied
264
265update.6.5.type = node
266update.6.5.nodeType = RoleTarget
267update.6.5.name = MedSup: MedSup.partner <<-?- MedixFund
268update.6.5.processing = fully
269update.6.5.satisfied = Satisfied
270
271update.6.6.type = node
272update.6.6.nodeType = LinkedRoleTarget
273update.6.6.name = MedSup: MedSup.partner.pA <<-?- Alice
274update.6.6.processing = fully
275update.6.6.satisfied = Satisfied
276
277update.6.7.type = node
278update.6.7.nodeType = RoleTarget
279update.6.7.name = MedSup: MedSup.discount <<-?- Alice
280update.6.7.processing = fully
281update.6.7.satisfied = Satisfied
282
283update.6.8.type = node
284update.6.8.name = MedSup: ReliefNet.coaMember <<-?- MedixFund
285update.6.8.processing = opponent
286
Note: See TracBrowser for help on using the repository browser.