source: fedd/abac-src/atnvis/TestDataFromMike/MedSup.prop @ 1d913e13

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