source: fedd/abac-src/atnvis/linked/USSHoward_future.prop @ 2f14616

version-1.30
Last change on this file since 2f14616 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham
  • Property mode set to 100644
File size: 7.7 KB
RevLine 
[8780cbec]1subject = USSH
2policy.1 = Ack[USN.assignedNRet] = US.friendly.usr
3
4update.1.location = remote
5
6update.1.1.type = node
7update.1.1.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
8update.1.1.nodeType = StandardTarget
9
10
11update.1.2.type = node
12update.1.2.nodeType = StandardTarget
13update.1.2.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
14update.1.2.processing = unprocessed
15update.1.2.satisfied = Unknown
16
17
18update.1.3.type = node
19update.1.3.nodeType = StandardTarget
20update.1.3.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
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 = SAdmir: SAdmir.getsSLocs <<-?- USSH
28update.1.4.childName = SAdmir: SE.friendly.usr ^ SAdmir.needsSLocs <<-?- USSH
29update.1.4.childType = IntersectionTarget
30update.1.4.childProcessing = opponent
31update.1.4.evidence.1 = SAdmir.getsSLocs<-SE.friendly.usr ^ SAdmir.needsSLocs
32
33update.1.5.type = node
34update.1.5.nodeType = StandardTarget
35update.1.5.name = SAdmir: SE.friendly.usr ^ SAdmir.needsSLocs <<-?- USSH
36update.1.5.processing = opponent
37update.1.5.satisfied = Unknown
38
39
40update.1.6.type = node
41update.1.6.nodeType = StandardTarget
42update.1.6.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
43update.1.6.processing = opponent
44update.1.6.satisfied = Unknown
45
46update.1.7.type = node
47update.1.7.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
48update.1.7.processing = verifier
49
50
51update.1.8.type = edge
52update.1.8.edgeType = Intersection
53update.1.8.parentName = SAdmir: SE.friendly.usr ^ SAdmir.needsSLocs <<-?- USSH
54update.1.8.childName = SAdmir: SE.friendly.usr <<-?- USSH
55update.1.8.childType = LinkedRoleTarget
56update.1.8.childProcessing = opponent
57
58update.1.9.type = edge
59update.1.9.edgeType = Intersection
60update.1.9.parentName = SAdmir: SE.friendly.usr ^ SAdmir.needsSLocs <<-?- USSH
61update.1.9.childName = SAdmir: SAdmir.needsSLocs <<-?- USSH
62update.1.9.childType = RoleTarget
63update.1.9.childProcessing = opponent
64
65update.1.10.type = edge
66update.1.10.edgeType = Implication
67update.1.10.parentName = SAdmir: SE.friendly.usr <<-?- USSH
68update.1.10.childName = SAdmir: US.usr <<-?- USSH
69update.1.10.childType = RoleTarget
70update.1.10.childProcessing = verifier
71update.1.10.evidence.1 = SE.friendly<-US
72
73update.1.11.type = edge
74update.1.11.edgeType = Implication
75update.1.11.parentName = SAdmir: SAdmir.needsSLocs <<-?- USSH
76update.1.11.childName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
77update.1.11.childType = LinkedRoleTarget
78update.1.11.childProcessing = opponent
79update.1.11.evidence.1 =  SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr
80
81update.1.12.type = edge
82update.1.12.edgeType = LinkingMonitor
83update.1.12.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
84update.1.12.childName = SAdmir: ?X.NRetTacUsr <<-?- USSH
85update.1.12.childType = LinkingGoal
86update.1.12.childProcessing = verifier
87update.1.12.evidence.1 =  SAdmir.needsSLocs<-SAdmir.NRetTacCom.NRetTacUsr
88
89
90update.2.location = local
91
92update.2.1.type = edge
93update.2.1.edgeType = Implication
94update.2.1.parentName = SAdmir: US.usr <<-?- USSH
95update.2.1.childName = SAdmir: USSH <<-?- USSHoward
96update.2.1.childType = TrivialTarget
97update.2.1.childProcessing = fully
98
99
100update.2.2.type = node
101update.2.2.nodeType = RoleTarget
102update.2.2.name = SAdmir: US.usr <<-?- USSH
103update.2.2.processing = fully
104update.2.2.satisfied = Satisfied
105
106update.2.3.type = node
107update.2.3.nodeType = LinkedRoleTarget
108update.2.3.name = SAdmir: SE.friendly.usr <<-?- USSH
109update.2.3.processing = fully
110update.2.3.satisfied = Satisfied
111
112update.2.4.type = edge
113update.2.4.edgeType = LinkingSolution
114update.2.4.parentName = SAdmir: ?X.NRetTacUsr <<-?- USSH
115update.2.4.childName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
116update.2.4.childType = RoleTarget
117update.2.4.childProcessing = verifier
118
119update.2.5.type = edge
120update.2.5.edgeType = Implication
121update.2.5.parentName = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
122update.2.5.childName = SAdmir: USN.assignedNRet <<-?- USSH
123update.2.5.childType = RoleTarget
124update.2.5.childProcessing = verifier
125
126update.2.6.type = edge
127update.2.6.edgeType = Control
128update.2.6.parentName = SAdmir: USN.assignedNRet <<-?- USSH
129update.2.6.childName = USSH: US.friendly.usr <<-?- SAdmir
130update.2.6.childType = LinkedRoleTarget
131update.2.6.childProcessing = opponent
132
133update.2.7.type = edge
134update.2.7.edgeType = Implication
135update.2.7.parentName = USSH: US.friendly.usr <<-?- SAdmir
136update.2.7.childName = USSH: SE.usr <<-?- SAdmir
137update.2.7.childType = RoleTarget
138update.2.7.childProcessing = verifier
139
140
141update.3.location = remote
142
143update.3.1.type = edge
144update.3.1.edgeType = Implication
145update.3.1.parentName = USSH: SE.usr <<-?- SAdmir
146update.3.1.childName = USSH: SAdmir <<-?- SAdmir
147update.3.1.childType = TrivialTarget
148update.3.1.childProcessing = fully
149
150update.3.2.type = node
151update.3.2.nodeType = RoleTarget
152update.3.2.name = USSH: SE.usr <<-?- SAdmir
153update.3.2.processing = fully
154update.3.2.satisfied = Satisfied
155
156update.3.3.type = node
157update.3.3.nodeType = LinkedRoleTarget
158update.3.3.name = USSH: US.friendly.usr <<-?- SAdmir
159update.3.3.processing = fully
160update.3.3.satisfied = Satisfied
161
162
163update.4.location = local
164
165update.4.1.type = edge
166update.4.1.edgeType = Implication
167update.4.1.parentName = SAdmir: USN.assignedNRet <<-?- USSH
168update.4.1.childName = SAdmir: USSH <<-?- USSHoward
169update.4.1.childType = TrivialTarget
170update.4.1.childProcessing = fully
171
172update.4.2.type = node
173update.4.2.nodeType = RoleTarget
174update.4.2.name = SAdmir: USN.assignedNRet <<-?- USSH
175update.4.2.processing = fully
176update.4.2.satisfied = Satisfied
177
178update.4.3.type = node
179update.4.3.nodeType = RoleTarget
180update.4.3.name = SAdmir: RADMSmith.NRetTacUsr <<-?- USSH
181update.4.3.processing = fully
182update.4.3.satisfied = Satisfied
183
184update.4.4.type = node
185update.4.4.nodeType = LinkingGoal
186update.4.4.name = SAdmir: ?X.NRetTacUsr <<-?- USSH
187update.4.4.processing = fully
188update.4.4.satisfied = Satisfied
189
190
191update.5.location = remote
192
193update.5.1.type = edge
194update.5.1.edgeType = LinkingImplication
195update.5.1.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
196update.5.1.childName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
197update.5.1.childType = RoleTarget
198update.5.1.childProcessing = opponent
199
200update.5.2.type = edge
201update.5.2.edgeType = Implication
202update.5.2.parentName = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
203update.5.2.childName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
204update.5.2.childType = RoleTarget
205update.5.2.childProcessing = verifier
206
207
208update.6.location = local
209
210update.6.1.type = edge
211update.6.1.edgeType = Implication
212update.6.1.parentName = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
213update.6.1.childName = SAdmir: RADMSmith <<-?- RADMSmith
214update.6.1.childType = TrivialTarget
215update.6.1.childProcessing = fully
216
217update.6.2.type = node
218update.6.2.nodeType = RoleTarget
219update.6.2.name = SAdmir: USEUCOM.NRetUSTacCom <<-?- RADMSmith
220update.6.2.processing = fully
221update.6.2.satisfied = Satisfied
222
223update.6.3.type = node
224update.6.3.nodeType = RoleTarget
225update.6.3.name = SAdmir: SAdmir.NRetTacCom <<-?- RADMSmith
226update.6.3.processing = fully
227update.6.3.satisfied = Satisfied
228
229update.6.4.type = node
230update.6.4.nodeType = LinkedRoleTarget
231update.6.4.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- USSH
232update.6.4.processing = fully
233update.6.4.satisfied = Satisfied
234
235update.6.5.type = node
236update.6.5.nodeType = RoleTarget
237update.6.5.name = SAdmir: SAdmir.needsSLocs <<-?- USSH
238update.6.5.processing = fully
239update.6.5.satisfied = Satisfied
240
241update.6.6.type = node
242update.6.6.nodeType = IntersectionTarget
243update.6.6.name = SAdmir: SE.friendly.usr ^ SAdmir.needsSLocs <<-?- USSH
244update.6.6.processing = fully
245update.6.6.satisfied = Satisfied
246
247update.6.7.type = node
248update.6.7.nodeType = RoleTarget
249update.6.7.name = SAdmir: SAdmir.getsSLocs <<-?- USSH
250update.6.7.processing = fully
251update.6.7.satisfied = Satisfied
Note: See TracBrowser for help on using the repository browser.