source: fedd/abac-src/atnvis/linked/SEAdmirKDR.prop @ fd556d1

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

ABAC sources from Cobham
  • Property mode set to 100755
File size: 7.6 KB
Line 
1subject = SEAdmirKDR
2
3update.1.location = local
4
5update.1.1.type = node
6update.1.1.name = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
7update.1.1.nodeType = RoleTarget
8update.1.1.isRoot = True
9
10
11update.1.2.type = node
12update.1.2.nodeType = RoleTarget
13update.1.2.name = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
14update.1.2.processing = unprocessed
15update.1.2.satisfied = Unknown
16
17
18update.1.3.type = node
19update.1.3.nodeType = RoleTarget
20update.1.3.name = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
21update.1.3.processing = unprocessed
22update.1.3.satisfied = Unknown
23
24
25update.1.4.type = edge
26update.1.4.edgeType = Implication
27update.1.4.parentName = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
28update.1.4.childName = SEAdmirKDR: SE.usr <<-?- USSHoward
29update.1.4.childType = RoleTarget
30update.1.4.childProcessing = verifier
31update.1.4.evidence.1 = SEAdmirKDR.readsSELocs<-SE.usr
32
33
34update.1.5.type = node
35update.1.5.nodeType = RoleTarget
36update.1.5.name = SEAdmirKDR: SE.usr <<-?- USSHoward
37update.1.5.processing = verifier
38update.1.5.satisfied = Unknown
39
40
41update.1.6.type = node
42update.1.6.nodeType = RoleTarget
43update.1.6.name = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
44update.1.6.processing = opponent
45update.1.6.satisfied = Unknown
46
47update.1.7.type = edge
48update.1.7.edgeType = Implication
49update.1.7.parentName = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
50update.1.7.childName = SEAdmirKDR: USEUCOM.NRetTacUsr <<-?- USSHoward
51update.1.7.childType = RoleTarget
52update.1.7.childProcessing = verifier
53update.1.7.evidence.1 = SEAdmirKDR.readsSELocs<-USEUCOM.NRetTacUsr
54
55
56update.1.8.type = node
57update.1.8.nodeType = RoleTarget
58update.1.8.name = SEAdmirKDR: USEUCOM.NRetTacUsr <<-?- USSHoward
59update.1.8.processing = verifier
60update.1.8.satisfied = Unknown
61
62
63update.1.9.type = node
64update.1.9.nodeType = RoleTarget
65update.1.9.name = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
66update.1.9.processing = opponent
67update.1.9.satisfied = Unknown
68
69update.1.10.type = node
70update.1.10.name = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
71update.1.10.processing = verifier
72
73
74
75
76update.2.location = remote
77
78update.2.1.type = node
79update.2.1.name = SEAdmirKDR: SE.usr <<-?- USSHoward
80update.2.1.processing = opponent
81
82
83update.2.2.type = edge
84update.2.2.edgeType = Implication
85update.2.2.parentName = SEAdmirKDR: USEUCOM.NRetTacUsr <<-?- USSHoward
86update.2.2.childName = SEAdmirKDR: USN.assignedNRet <<-?- USSHoward
87update.2.2.childType = RoleTarget
88update.2.2.childProcessing = verifier
89
90
91update.2.3.type = node
92update.2.3.nodeType = RoleTarget
93update.2.3.name = SEAdmirKDR: USN.assignedNRet <<-?- USSHoward
94update.2.3.processing = verifier
95update.2.3.satisfied = Unknown
96
97
98update.2.4.type = node
99update.2.4.nodeType = RoleTarget
100update.2.4.name = SEAdmirKDR: USEUCOM.NRetTacUsr <<-?- USSHoward
101update.2.4.processing = verifier
102update.2.4.satisfied = Unknown
103
104update.2.5.type = node
105update.2.5.name = SEAdmirKDR: USEUCOM.NRetTacUsr <<-?- USSHoward
106update.2.5.processing = opponent
107
108
109update.2.6.type = edge
110update.2.6.edgeType = Control
111update.2.6.parentName = SEAdmirKDR: USN.assignedNRet <<-?- USSHoward
112update.2.6.childName = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
113update.2.6.childType = RoleTarget
114update.2.6.childProcessing = opponent
115
116
117update.2.7.type = node
118update.2.7.nodeType = RoleTarget
119update.2.7.name = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
120update.2.7.processing = opponent
121update.2.7.satisfied = Unknown
122
123
124update.2.8.type = edge
125update.2.8.edgeType = Implication
126update.2.8.parentName = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
127update.2.8.childName = USSHoward: US.usr <<-?- SEAdmirKDR
128update.2.8.childType = RoleTarget
129update.2.8.childProcessing = verifier
130
131
132update.2.9.type = node
133update.2.9.nodeType = RoleTarget
134update.2.9.name = USSHoward: US.usr <<-?- SEAdmirKDR
135update.2.9.processing = verifier
136update.2.9.satisfied = Unknown
137
138
139update.2.10.type = node
140update.2.10.nodeType = RoleTarget
141update.2.10.name = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
142update.2.10.processing = opponent
143update.2.10.satisfied = Unknown
144
145update.2.11.type = edge
146update.2.11.edgeType = Implication
147update.2.11.parentName = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
148update.2.11.childName = USSHoward: SE.usr <<-?- SEAdmirKDR
149update.2.11.childType = RoleTarget
150update.2.11.childProcessing = verifier
151
152
153update.2.12.type = node
154update.2.12.nodeType = RoleTarget
155update.2.12.name = USSHoward: SE.usr <<-?- SEAdmirKDR
156update.2.12.processing = verifier
157update.2.12.satisfied = Unknown
158
159
160update.2.13.type = node
161update.2.13.nodeType = RoleTarget
162update.2.13.name = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
163update.2.13.processing = opponent
164update.2.13.satisfied = Unknown
165
166update.2.14.type = node
167update.2.14.name = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
168update.2.14.processing = verifier
169
170
171update.3.location = local
172
173update.3.1.type = node
174update.3.1.name = USSHoward: US.usr <<-?- SEAdmirKDR
175update.3.1.processing = opponent
176
177
178update.3.2.type = edge
179update.3.2.edgeType = Implication
180update.3.2.parentName = USSHoward: SE.usr <<-?- SEAdmirKDR
181update.3.2.childName = USSHoward: SEAdmirKDR <<-?- SEAdmirKDR
182update.3.2.childType = TrivialTarget
183update.3.2.childProcessing = fully
184
185
186update.3.3.type = node
187update.3.3.nodeType = TrivialTarget
188update.3.3.name = USSHoward: SEAdmirKDR <<-?- SEAdmirKDR
189update.3.3.processing = fully
190update.3.3.satisfied = Satisfied
191
192
193update.3.4.type = node
194update.3.4.nodeType = RoleTarget
195update.3.4.name = USSHoward: SE.usr <<-?- SEAdmirKDR
196update.3.4.processing = verifier
197update.3.4.satisfied = Unknown
198
199update.3.5.type = node
200update.3.5.nodeType = TrivialTarget
201update.3.5.name = USSHoward: SEAdmirKDR <<-?- SEAdmirKDR
202update.3.5.processing = fully
203update.3.5.satisfied = Satisfied
204
205update.3.6.type = node
206update.3.6.nodeType = RoleTarget
207update.3.6.name = USSHoward: SE.usr <<-?- SEAdmirKDR
208update.3.6.processing = verifier
209update.3.6.satisfied = Satisfied
210
211update.3.7.type = node
212update.3.7.nodeType = RoleTarget
213update.3.7.name = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
214update.3.7.processing = fully
215update.3.7.satisfied = Satisfied
216
217update.3.8.type = node
218update.3.8.name = USSHoward: SE.usr <<-?- SEAdmirKDR
219update.3.8.processing = opponent
220
221
222
223
224update.4.location = remote
225
226update.4.1.type = edge
227update.4.1.edgeType = Implication
228update.4.1.parentName = SEAdmirKDR: USN.assignedNRet <<-?- USSHoward
229update.4.1.childName = SEAdmirKDR: USSHoward <<-?- USSHoward
230update.4.1.childType = TrivialTarget
231update.4.1.childProcessing = fully
232
233
234update.4.2.type = node
235update.4.2.nodeType = TrivialTarget
236update.4.2.name = SEAdmirKDR: USSHoward <<-?- USSHoward
237update.4.2.processing = fully
238update.4.2.satisfied = Satisfied
239
240
241update.4.3.type = node
242update.4.3.nodeType = RoleTarget
243update.4.3.name = SEAdmirKDR: USN.assignedNRet <<-?- USSHoward
244update.4.3.processing = verifier
245update.4.3.satisfied = Unknown
246
247update.4.4.type = node
248update.4.4.nodeType = TrivialTarget
249update.4.4.name = SEAdmirKDR: USSHoward <<-?- USSHoward
250update.4.4.processing = fully
251update.4.4.satisfied = Satisfied
252
253update.4.5.type = node
254update.4.5.nodeType = RoleTarget
255update.4.5.name = SEAdmirKDR: USN.assignedNRet <<-?- USSHoward
256update.4.5.processing = verifier
257update.4.5.satisfied = Satisfied
258
259update.4.6.type = node
260update.4.6.nodeType = RoleTarget
261update.4.6.name = SEAdmirKDR: USEUCOM.NRetTacUsr <<-?- USSHoward
262update.4.6.processing = fully
263update.4.6.satisfied = Satisfied
264
265update.4.7.type = node
266update.4.7.nodeType = RoleTarget
267update.4.7.name = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
268update.4.7.processing = fully
269update.4.7.satisfied = Satisfied
270
271update.4.8.type = node
272update.4.8.name = SEAdmirKDR: USN.assignedNRet <<-?- USSHoward
273update.4.8.processing = opponent
274
275
276
277
Note: See TracBrowser for help on using the repository browser.