source: fedd/abac-src/ttg/test/SAdmir.prop @ eea2aa4

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

ABAC sources from Cobham
  • Property mode set to 100644
File size: 5.9 KB
Line 
1subject = SAdmir
2
3update.1.location = remote
4
5update.2.location = local
6
7update.2.1.type = node
8update.2.1.name = SAdmir: SAdmir.getsSLocs <<-?- SAdmir
9update.2.1.nodeType = RoleTarget
10update.2.1.isRoot = True
11
12update.2.2.type = node
13update.2.2.nodeType = RoleTarget
14update.2.2.name = SAdmir: SAdmir.getsSLocs <<-?- SAdmir
15update.2.2.processing = unprocessed
16update.2.2.satisfied = Unknown
17
18update.2.3.type = node
19update.2.3.nodeType = RoleTarget
20update.2.3.name = SAdmir: SAdmir.getsSLocs <<-?- SAdmir
21update.2.3.processing = unprocessed
22update.2.3.satisfied = Unknown
23
24update.2.4.type = edge
25update.2.4.edgeType = Implication
26update.2.4.parentName = SAdmir: SAdmir.getsSLocs <<-?- SAdmir
27update.2.4.childName = SAdmir: SAdmir.friendlyUsr ^ SAdmir.needsSLocs <<-?- SAdmir
28update.2.4.childType = IntersectionTarget
29update.2.4.childProcessing = opponent
30
31update.2.5.type = node
32update.2.5.nodeType = IntersectionTarget
33update.2.5.name = SAdmir: SAdmir.friendlyUsr ^ SAdmir.needsSLocs <<-?- SAdmir
34update.2.5.processing = opponent
35update.2.5.satisfied = Unknown
36
37update.2.6.type = node
38update.2.6.nodeType = RoleTarget
39update.2.6.name = SAdmir: SAdmir.getsSLocs <<-?- SAdmir
40update.2.6.processing = opponent
41update.2.6.satisfied = Unknown
42
43update.2.7.type = node
44update.2.7.name = SAdmir: SAdmir.getsSLocs <<-?- SAdmir
45update.2.7.processing = verifier
46
47update.2.8.type = edge
48update.2.8.edgeType = Intersection
49update.2.8.parentName = SAdmir: SAdmir.friendlyUsr ^ SAdmir.needsSLocs <<-?- SAdmir
50update.2.8.childName = SAdmir: SAdmir.friendlyUsr <<-?- SAdmir
51update.2.8.childType = RoleTarget
52update.2.8.childProcessing = opponent
53
54update.2.9.type = node
55update.2.9.nodeType = RoleTarget
56update.2.9.name = SAdmir: SAdmir.friendlyUsr <<-?- SAdmir
57update.2.9.processing = opponent
58update.2.9.satisfied = Unknown
59
60update.2.10.type = edge
61update.2.10.edgeType = Intersection
62update.2.10.parentName = SAdmir: SAdmir.friendlyUsr ^ SAdmir.needsSLocs <<-?- SAdmir
63update.2.10.childName = SAdmir: SAdmir.needsSLocs <<-?- SAdmir
64update.2.10.childType = RoleTarget
65update.2.10.childProcessing = opponent
66
67update.2.11.type = node
68update.2.11.nodeType = RoleTarget
69update.2.11.name = SAdmir: SAdmir.needsSLocs <<-?- SAdmir
70update.2.11.processing = opponent
71update.2.11.satisfied = Unknown
72
73update.2.12.type = edge
74update.2.12.edgeType = Implication
75update.2.12.parentName = SAdmir: SAdmir.friendlyUsr <<-?- SAdmir
76update.2.12.childName = SAdmir: SAdmir.friendly.usr <<-?- SAdmir
77update.2.12.childType = LinkedRoleTarget
78update.2.12.childProcessing = opponent
79
80update.2.13.type = node
81update.2.13.nodeType = LinkedRoleTarget
82update.2.13.name = SAdmir: SAdmir.friendly.usr <<-?- SAdmir
83update.2.13.processing = opponent
84update.2.13.satisfied = Unknown
85
86update.2.14.type = node
87update.2.14.nodeType = RoleTarget
88update.2.14.name = SAdmir: SAdmir.friendlyUsr <<-?- SAdmir
89update.2.14.processing = opponent
90update.2.14.satisfied = Unknown
91
92update.2.15.type = node
93update.2.15.name = SAdmir: SAdmir.friendlyUsr <<-?- SAdmir
94update.2.15.processing = verifier
95
96update.2.16.type = edge
97update.2.16.edgeType = Implication
98update.2.16.parentName = SAdmir: SAdmir.needsSLocs <<-?- SAdmir
99update.2.16.childName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- SAdmir
100update.2.16.childType = LinkedRoleTarget
101update.2.16.childProcessing = opponent
102
103update.2.17.type = node
104update.2.17.nodeType = LinkedRoleTarget
105update.2.17.name = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- SAdmir
106update.2.17.processing = opponent
107update.2.17.satisfied = Unknown
108
109update.2.18.type = node
110update.2.18.nodeType = RoleTarget
111update.2.18.name = SAdmir: SAdmir.needsSLocs <<-?- SAdmir
112update.2.18.processing = opponent
113update.2.18.satisfied = Unknown
114
115update.2.19.type = node
116update.2.19.name = SAdmir: SAdmir.needsSLocs <<-?- SAdmir
117update.2.19.processing = verifier
118
119update.2.20.type = edge
120update.2.20.edgeType = Implication
121update.2.20.parentName = SAdmir: SAdmir.friendly.usr <<-?- SAdmir
122update.2.20.childName = SAdmir: US.usr <<-?- SAdmir
123update.2.20.childType = RoleTarget
124update.2.20.childProcessing = verifier
125
126update.2.21.type = node
127update.2.21.nodeType = RoleTarget
128update.2.21.name = SAdmir: US.usr <<-?- SAdmir
129update.2.21.processing = verifier
130update.2.21.satisfied = Unknown
131
132update.2.22.type = node
133update.2.22.nodeType = LinkedRoleTarget
134update.2.22.name = SAdmir: SAdmir.friendly.usr <<-?- SAdmir
135update.2.22.processing = opponent
136update.2.22.satisfied = Unknown
137
138update.2.23.type = node
139update.2.23.name = SAdmir: SAdmir.friendly.usr <<-?- SAdmir
140update.2.23.processing = verifier
141
142update.2.24.type = edge
143update.2.24.edgeType = LinkingMonitor
144update.2.24.parentName = SAdmir: SAdmir.NRetTacCom.NRetTacUsr <<-?- SAdmir
145update.2.24.childName = SAdmir: ?X.NRetTacUsr <<-?- SAdmir
146update.2.24.childType = LinkingGoal
147update.2.24.childProcessing = verifier
148
149update.2.25.type = node
150update.2.25.nodeType = LinkingGoal
151update.2.25.name = SAdmir: ?X.NRetTacUsr <<-?- SAdmir
152update.2.25.processing = verifier
153update.2.25.satisfied = Incomplete
154
155update.2.26.type = node
156update.2.26.nodeType = RoleTarget
157update.2.26.name = SAdmir: US.usr <<-?- SAdmir
158update.2.26.processing = fully
159update.2.26.satisfied = Failed
160
161update.2.27.type = node
162update.2.27.nodeType = LinkedRoleTarget
163update.2.27.name = SAdmir: SAdmir.friendly.usr <<-?- SAdmir
164update.2.27.processing = fully
165update.2.27.satisfied = Failed
166
167update.2.28.type = node
168update.2.28.nodeType = RoleTarget
169update.2.28.name = SAdmir: SAdmir.friendlyUsr <<-?- SAdmir
170update.2.28.processing = fully
171update.2.28.satisfied = Failed
172
173update.2.29.type = node
174update.2.29.nodeType = IntersectionTarget
175update.2.29.name = SAdmir: SAdmir.friendlyUsr ^ SAdmir.needsSLocs <<-?- SAdmir
176update.2.29.processing = opponent
177update.2.29.satisfied = Failed
178
179update.2.30.type = node
180update.2.30.nodeType = RoleTarget
181update.2.30.name = SAdmir: SAdmir.getsSLocs <<-?- SAdmir
182update.2.30.processing = fully
183update.2.30.satisfied = Failed
184
185update.2.31.type = node
186update.2.31.name = SAdmir: US.usr <<-?- SAdmir
187update.2.31.processing = opponent
188
Note: See TracBrowser for help on using the repository browser.