source: fedd/abac-src/atnvis/TestDataFromMike/Alice2.prop @ 866c983

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

ABAC sources from Cobham

  • Property mode set to 100644
File size: 6.0 KB
Line 
1subject = Alice
2policy.1 = Ack[MedixFund.purchasingA] = MedixFund.cPartner
3
4update.2.location = remote
5
6update.2.1.type = node
7update.2.1.name = MedSup: MedSup.discount <<-?- Alice
8update.2.1.nodeType = StandardTarget
9
10
11update.2.2.type = node
12update.2.2.nodeType = StandardTarget
13update.2.2.name = MedSup: MedSup.discount <<-?- Alice
14update.2.2.processing = unprocessed
15update.2.2.satisfied = Unknown
16
17
18update.2.3.type = node
19update.2.3.nodeType = StandardTarget
20update.2.3.name = MedSup: MedSup.discount <<-?- Alice
21update.2.3.processing = unprocessed
22update.2.3.satisfied = Unknown
23
24
25update.2.4.type = edge
26update.2.4.edgeType = Implication
27update.2.4.parentName = MedSup: MedSup.discount <<-?- Alice
28update.2.4.childName = MedSup: ReliefNet.provisioner <<-?- Alice
29update.2.4.childType = RoleTarget
30update.2.4.childProcessing = verifier
31
32
33update.2.5.type = node
34update.2.5.nodeType = StandardTarget
35update.2.5.name = MedSup: ReliefNet.provisioner <<-?- Alice
36update.2.5.processing = verifier
37update.2.5.satisfied = Unknown
38
39
40update.2.6.type = node
41update.2.6.nodeType = StandardTarget
42update.2.6.name = MedSup: MedSup.discount <<-?- Alice
43update.2.6.processing = opponent
44update.2.6.satisfied = Unknown
45
46update.2.7.type = node
47update.2.7.name = MedSup: MedSup.discount <<-?- Alice
48update.2.7.processing = verifier
49
50
51update.3.location = local
52
53update.3.1.type = edge
54update.3.1.edgeType = Implication
55update.3.1.parentName = MedSup: ReliefNet.provisioner <<-?- Alice
56update.3.1.childName = MedSup: MedixFund.purchasingA <<-?- Alice
57update.3.1.childType = RoleTarget
58update.3.1.childProcessing = verifier
59update.3.1.evidence.1 = ReliefNet.provisioner<-MedixFund.purchasingA
60
61
62update.3.2.type = node
63update.3.2.nodeType = StandardTarget
64update.3.2.name = MedSup: MedixFund.purchasingA <<-?- Alice
65update.3.2.processing = verifier
66update.3.2.satisfied = Unknown
67
68
69update.3.3.type = node
70update.3.3.nodeType = StandardTarget
71update.3.3.name = MedSup: ReliefNet.provisioner <<-?- Alice
72update.3.3.processing = verifier
73update.3.3.satisfied = Unknown
74
75update.3.4.type = node
76update.3.4.name = MedSup: ReliefNet.provisioner <<-?- Alice
77update.3.4.processing = opponent
78
79
80update.3.5.type = edge
81update.3.5.edgeType = Control
82update.3.5.parentName = MedSup: MedixFund.purchasingA <<-?- Alice
83update.3.5.childName = Alice: MedixFund.cPartner <<-?- MedSup
84update.3.5.childType = RoleTarget
85update.3.5.childProcessing = opponent
86
87
88update.3.6.type = node
89update.3.6.nodeType = StandardTarget
90update.3.6.name = Alice: MedixFund.cPartner <<-?- MedSup
91update.3.6.processing = opponent
92update.3.6.satisfied = Unknown
93
94
95update.3.7.type = edge
96update.3.7.edgeType = Implication
97update.3.7.parentName = Alice: MedixFund.cPartner <<-?- MedSup
98update.3.7.childName = Alice: ReliefNet.member <<-?- MedSup
99update.3.7.childType = RoleTarget
100update.3.7.childProcessing = verifier
101update.3.7.evidence.1 = MedixFund.cPartner<-ReliefNet.member
102
103
104update.3.8.type = node
105update.3.8.nodeType = StandardTarget
106update.3.8.name = Alice: ReliefNet.member <<-?- MedSup
107update.3.8.processing = verifier
108update.3.8.satisfied = Unknown
109
110
111update.3.9.type = node
112update.3.9.nodeType = StandardTarget
113update.3.9.name = Alice: MedixFund.cPartner <<-?- MedSup
114update.3.9.processing = opponent
115update.3.9.satisfied = Unknown
116
117update.3.10.type = node
118update.3.10.name = Alice: MedixFund.cPartner <<-?- MedSup
119update.3.10.processing = verifier
120
121
122
123
124update.4.location = remote
125
126update.4.1.type = edge
127update.4.1.edgeType = Implication
128update.4.1.parentName = Alice: ReliefNet.member <<-?- MedSup
129update.4.1.childName = Alice: MedSup <<-?- MedSup
130update.4.1.childType = TrivialTarget
131update.4.1.childProcessing = fully
132
133
134update.4.2.type = node
135update.4.2.nodeType = TrivialTarget
136update.4.2.name = Alice: MedSup <<-?- MedSup
137update.4.2.processing = fully
138update.4.2.satisfied = Satisfied
139
140
141update.4.3.type = node
142update.4.3.nodeType = StandardTarget
143update.4.3.name = Alice: ReliefNet.member <<-?- MedSup
144update.4.3.processing = verifier
145update.4.3.satisfied = Unknown
146
147update.4.4.type = node
148update.4.4.nodeType = TrivialTarget
149update.4.4.name = Alice: MedSup <<-?- MedSup
150update.4.4.processing = fully
151update.4.4.satisfied = Satisfied
152
153update.4.5.type = node
154update.4.5.nodeType = StandardTarget
155update.4.5.name = Alice: ReliefNet.member <<-?- MedSup
156update.4.5.processing = verifier
157update.4.5.satisfied = Satisfied
158
159update.4.6.type = node
160update.4.6.nodeType = StandardTarget
161update.4.6.name = Alice: MedixFund.cPartner <<-?- MedSup
162update.4.6.processing = fully
163update.4.6.satisfied = Satisfied
164
165update.4.7.type = node
166update.4.7.name = Alice: ReliefNet.member <<-?- MedSup
167update.4.7.processing = opponent
168
169
170update.5.location = local
171
172update.5.1.type = edge
173update.5.1.edgeType = Implication
174update.5.1.parentName = MedSup: MedixFund.purchasingA <<-?- Alice
175update.5.1.childName = MedSup: Alice <<-?- Alice
176update.5.1.childType = TrivialTarget
177update.5.1.childProcessing = fully
178
179
180update.5.2.type = node
181update.5.2.nodeType = TrivialTarget
182update.5.2.name = MedSup: Alice <<-?- Alice
183update.5.2.processing = fully
184update.5.2.satisfied = Satisfied
185
186
187update.5.3.type = node
188update.5.3.nodeType = StandardTarget
189update.5.3.name = MedSup: MedixFund.purchasingA <<-?- Alice
190update.5.3.processing = verifier
191update.5.3.satisfied = Unknown
192
193update.5.4.type = node
194update.5.4.nodeType = TrivialTarget
195update.5.4.name = MedSup: Alice <<-?- Alice
196update.5.4.processing = fully
197update.5.4.satisfied = Satisfied
198
199update.5.5.type = node
200update.5.5.nodeType = StandardTarget
201update.5.5.name = MedSup: MedixFund.purchasingA <<-?- Alice
202update.5.5.processing = verifier
203update.5.5.satisfied = Satisfied
204
205update.5.6.type = node
206update.5.6.nodeType = StandardTarget
207update.5.6.name = MedSup: ReliefNet.provisioner <<-?- Alice
208update.5.6.processing = fully
209update.5.6.satisfied = Satisfied
210
211update.5.7.type = node
212update.5.7.nodeType = StandardTarget
213update.5.7.name = MedSup: MedSup.discount <<-?- Alice
214update.5.7.processing = fully
215update.5.7.satisfied = Satisfied
216
217update.5.8.type = node
218update.5.8.name = MedSup: MedixFund.purchasingA <<-?- Alice
219update.5.8.processing = opponent
220
221
222
223
Note: See TracBrowser for help on using the repository browser.