source: fedd/abac-src/atnvis/linked/USSHoward.prop @ 11860f52

axis_examplecompt_changesinfo-opsversion-2.00version-3.01version-3.02
Last change on this file since 11860f52 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 = USSHoward
2policy.1 = Ack[USN.assignedNRet] = US.friendlyUsr
3
4update.1.location = remote
5
6update.1.1.type = node
7update.1.1.name = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
8update.1.1.nodeType = RoleTarget
9update.1.1.isRoot = True
10
11
12update.1.2.type = node
13update.1.2.nodeType = RoleTarget
14update.1.2.name = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
15update.1.2.processing = unprocessed
16update.1.2.satisfied = Unknown
17
18
19update.1.3.type = node
20update.1.3.nodeType = RoleTarget
21update.1.3.name = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
22update.1.3.processing = unprocessed
23update.1.3.satisfied = Unknown
24
25
26update.1.4.type = edge
27update.1.4.edgeType = Implication
28update.1.4.parentName = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
29update.1.4.childName = SEAdmirKDR: SE.usr <<-?- USSHoward
30update.1.4.childType = RoleTarget
31update.1.4.childProcessing = verifier
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
53
54
55update.1.8.type = node
56update.1.8.nodeType = RoleTarget
57update.1.8.name = SEAdmirKDR: USEUCOM.NRetTacUsr <<-?- USSHoward
58update.1.8.processing = verifier
59update.1.8.satisfied = Unknown
60
61
62update.1.9.type = node
63update.1.9.nodeType = RoleTarget
64update.1.9.name = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
65update.1.9.processing = opponent
66update.1.9.satisfied = Unknown
67
68update.1.10.type = node
69update.1.10.name = SEAdmirKDR: SEAdmirKDR.readsSELocs <<-?- USSHoward
70update.1.10.processing = verifier
71
72
73update.2.location = local
74
75update.2.1.type = node
76update.2.1.name = SEAdmirKDR: SE.usr <<-?- USSHoward
77update.2.1.processing = opponent
78
79
80update.2.2.type = edge
81update.2.2.edgeType = Implication
82update.2.2.parentName = SEAdmirKDR: USEUCOM.NRetTacUsr <<-?- USSHoward
83update.2.2.childName = SEAdmirKDR: USN.assignedNRet <<-?- USSHoward
84update.2.2.childType = RoleTarget
85update.2.2.childProcessing = verifier
86update.2.2.evidence.1 = USEUCOM.NRetTacUsr<-USN.assignedNRet
87
88
89update.2.3.type = node
90update.2.3.nodeType = RoleTarget
91update.2.3.name = SEAdmirKDR: USN.assignedNRet <<-?- USSHoward
92update.2.3.processing = verifier
93update.2.3.satisfied = Unknown
94
95
96update.2.4.type = node
97update.2.4.nodeType = RoleTarget
98update.2.4.name = SEAdmirKDR: USEUCOM.NRetTacUsr <<-?- USSHoward
99update.2.4.processing = verifier
100update.2.4.satisfied = Unknown
101
102update.2.5.type = node
103update.2.5.name = SEAdmirKDR: USEUCOM.NRetTacUsr <<-?- USSHoward
104update.2.5.processing = opponent
105
106
107update.2.6.type = edge
108update.2.6.edgeType = Control
109update.2.6.parentName = SEAdmirKDR: USN.assignedNRet <<-?- USSHoward
110update.2.6.childName = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
111update.2.6.childType = RoleTarget
112update.2.6.childProcessing = opponent
113
114
115update.2.7.type = node
116update.2.7.nodeType = RoleTarget
117update.2.7.name = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
118update.2.7.processing = opponent
119update.2.7.satisfied = Unknown
120
121
122update.2.8.type = edge
123update.2.8.edgeType = Implication
124update.2.8.parentName = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
125update.2.8.childName = USSHoward: US.usr <<-?- SEAdmirKDR
126update.2.8.childType = RoleTarget
127update.2.8.childProcessing = verifier
128update.2.8.evidence.1 = US.friendlyUsr<-US.usr
129
130
131update.2.9.type = node
132update.2.9.nodeType = RoleTarget
133update.2.9.name = USSHoward: US.usr <<-?- SEAdmirKDR
134update.2.9.processing = verifier
135update.2.9.satisfied = Unknown
136
137
138update.2.10.type = node
139update.2.10.nodeType = RoleTarget
140update.2.10.name = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
141update.2.10.processing = opponent
142update.2.10.satisfied = Unknown
143
144update.2.11.type = edge
145update.2.11.edgeType = Implication
146update.2.11.parentName = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
147update.2.11.childName = USSHoward: SE.usr <<-?- SEAdmirKDR
148update.2.11.childType = RoleTarget
149update.2.11.childProcessing = verifier
150update.2.11.evidence.1 = US.friendlyUsr<-SE.usr
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
171
172
173update.3.location = remote
174
175update.3.1.type = node
176update.3.1.name = USSHoward: US.usr <<-?- SEAdmirKDR
177update.3.1.processing = opponent
178
179
180update.3.2.type = edge
181update.3.2.edgeType = Implication
182update.3.2.parentName = USSHoward: SE.usr <<-?- SEAdmirKDR
183update.3.2.childName = USSHoward: SEAdmirKDR <<-?- SEAdmirKDR
184update.3.2.childType = TrivialTarget
185update.3.2.childProcessing = fully
186
187
188update.3.3.type = node
189update.3.3.nodeType = TrivialTarget
190update.3.3.name = USSHoward: SEAdmirKDR <<-?- SEAdmirKDR
191update.3.3.processing = fully
192update.3.3.satisfied = Satisfied
193
194
195update.3.4.type = node
196update.3.4.nodeType = RoleTarget
197update.3.4.name = USSHoward: SE.usr <<-?- SEAdmirKDR
198update.3.4.processing = verifier
199update.3.4.satisfied = Unknown
200
201update.3.5.type = node
202update.3.5.nodeType = TrivialTarget
203update.3.5.name = USSHoward: SEAdmirKDR <<-?- SEAdmirKDR
204update.3.5.processing = fully
205update.3.5.satisfied = Satisfied
206
207update.3.6.type = node
208update.3.6.nodeType = RoleTarget
209update.3.6.name = USSHoward: SE.usr <<-?- SEAdmirKDR
210update.3.6.processing = verifier
211update.3.6.satisfied = Satisfied
212
213update.3.7.type = node
214update.3.7.nodeType = RoleTarget
215update.3.7.name = USSHoward: US.friendlyUsr <<-?- SEAdmirKDR
216update.3.7.processing = fully
217update.3.7.satisfied = Satisfied
218
219update.3.8.type = node
220update.3.8.name = USSHoward: SE.usr <<-?- SEAdmirKDR
221update.3.8.processing = opponent
222
223
224update.4.location = local
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.