Context Navigation

GENI.prop @ df783c1

axis_examplecompt_changesinfo-opsversion-2.00version-3.01version-3.02

Last change on this file since df783c1 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago
ABAC sources from Cobham
Property mode set to `100644`
File size: 6.6 KB

Line
1	subject = GENI
2
3	update.1.location = local
4
5	update.1.1.type = node
6	update.1.1.name = GENI: GENI.CTFaccess <<-?- Alice
7	update.1.1.nodeType = RoleTarget
8	update.1.1.isRoot = True
9
10	update.1.2.type = node
11	update.1.2.nodeType = RoleTarget
12	update.1.2.name = GENI: GENI.CTFaccess <<-?- Alice
13	update.1.2.processing = unprocessed
14	update.1.2.satisfied = Unknown
15
16	update.1.3.type = node
17	update.1.3.nodeType = RoleTarget
18	update.1.3.name = GENI: GENI.CTFaccess <<-?- Alice
19	update.1.3.processing = unprocessed
20	update.1.3.satisfied = Unknown
21
22	update.1.4.type = edge
23	update.1.4.edgeType = Implication
24	update.1.4.parentName = GENI: GENI.CTFaccess <<-?- Alice
25	update.1.4.childName = GENI: ACM.CTFrep.CTFcontestant <<-?- Alice
26	update.1.4.childType = LinkedRoleTarget
27	update.1.4.childProcessing = opponent
28	update.1.4.evidence.1 = GENI.CTFaccess<-ACM.CTFrep.CTFcontestant
29
30	update.1.5.type = node
31	update.1.5.nodeType = LinkedRoleTarget
32	update.1.5.name = GENI: ACM.CTFrep.CTFcontestant <<-?- Alice
33	update.1.5.processing = opponent
34	update.1.5.satisfied = Unknown
35
36	update.1.6.type = node
37	update.1.6.nodeType = RoleTarget
38	update.1.6.name = GENI: GENI.CTFaccess <<-?- Alice
39	update.1.6.processing = opponent
40	update.1.6.satisfied = Unknown
41
42	update.1.7.type = node
43	update.1.7.name = GENI: GENI.CTFaccess <<-?- Alice
44	update.1.7.processing = verifier
45
46	update.1.8.type = edge
47	update.1.8.edgeType = LinkingMonitor
48	update.1.8.parentName = GENI: ACM.CTFrep.CTFcontestant <<-?- Alice
49	update.1.8.childName = GENI: ?X.CTFcontestant <<-?- Alice
50	update.1.8.childType = LinkingGoal
51	update.1.8.childProcessing = verifier
52
53	update.1.9.type = node
54	update.1.9.nodeType = LinkingGoal
55	update.1.9.name = GENI: ?X.CTFcontestant <<-?- Alice
56	update.1.9.processing = verifier
57	update.1.9.satisfied = Incomplete
58
59	update.2.location = remote
60
61	update.2.1.type = edge
62	update.2.1.edgeType = LinkingSolution
63	update.2.1.parentName = GENI: ?X.CTFcontestant <<-?- Alice
64	update.2.1.childName = GENI: USC.CTFcontestant <<-?- Alice
65	update.2.1.childType = RoleTarget
66	update.2.1.childProcessing = verifier
67
68	update.2.2.type = node
69	update.2.2.nodeType = RoleTarget
70	update.2.2.name = GENI: USC.CTFcontestant <<-?- Alice
71	update.2.2.processing = verifier
72	update.2.2.satisfied = Unknown
73
74	update.2.3.type = node
75	update.2.3.name = GENI: ?X.CTFcontestant <<-?- Alice
76	update.2.3.processing = opponent
77
78	update.2.4.type = node
79	update.2.4.nodeType = LinkingGoal
80	update.2.4.name = GENI: ?X.CTFcontestant <<-?- Alice
81	update.2.4.processing = fully
82	update.2.4.satisfied = Incomplete
83
84	update.2.5.type = edge
85	update.2.5.edgeType = Implication
86	update.2.5.parentName = GENI: USC.CTFcontestant <<-?- Alice
87	update.2.5.childName = GENI: Alice <<-?- Alice
88	update.2.5.childType = TrivialTarget
89	update.2.5.childProcessing = fully
90	update.2.5.evidence.1 = USC.CTFcontestant<-Alice
91
92	update.2.6.type = node
93	update.2.6.nodeType = TrivialTarget
94	update.2.6.name = GENI: Alice <<-?- Alice
95	update.2.6.processing = fully
96	update.2.6.satisfied = Satisfied
97
98	update.2.7.type = node
99	update.2.7.nodeType = RoleTarget
100	update.2.7.name = GENI: USC.CTFcontestant <<-?- Alice
101	update.2.7.processing = verifier
102	update.2.7.satisfied = Unknown
103
104	update.2.8.type = node
105	update.2.8.nodeType = RoleTarget
106	update.2.8.name = GENI: USC.CTFcontestant <<-?- Alice
107	update.2.8.processing = verifier
108	update.2.8.satisfied = Satisfied
109
110	update.2.9.type = node
111	update.2.9.nodeType = LinkingGoal
112	update.2.9.name = GENI: ?X.CTFcontestant <<-?- Alice
113	update.2.9.processing = fully
114	update.2.9.satisfied = Complete
115
116	update.2.10.type = node
117	update.2.10.name = GENI: ACM.CTFrep.CTFcontestant <<-?- Alice
118	update.2.10.processing = verifier
119
120	update.2.11.type = node
121	update.2.11.name = GENI: USC.CTFcontestant <<-?- Alice
122	update.2.11.processing = opponent
123
124	update.3.location = local
125
126	update.3.1.type = edge
127	update.3.1.edgeType = LinkingImplication
128	update.3.1.parentName = GENI: ACM.CTFrep.CTFcontestant <<-?- Alice
129	update.3.1.childName = GENI: ACM.CTFrep <<-?- USC
130	update.3.1.childType = RoleTarget
131	update.3.1.childProcessing = opponent
132
133	update.3.2.type = node
134	update.3.2.nodeType = RoleTarget
135	update.3.2.name = GENI: ACM.CTFrep <<-?- USC
136	update.3.2.processing = opponent
137	update.3.2.satisfied = Unknown
138
139	update.3.3.type = node
140	update.3.3.nodeType = LinkedRoleTarget
141	update.3.3.name = GENI: ACM.CTFrep.CTFcontestant <<-?- Alice
142	update.3.3.processing = fully
143	update.3.3.satisfied = Unknown
144
145	update.3.4.type = edge
146	update.3.4.edgeType = Implication
147	update.3.4.parentName = GENI: ACM.CTFrep <<-?- USC
148	update.3.4.childName = GENI: USC <<-?- USC
149	update.3.4.childType = TrivialTarget
150	update.3.4.childProcessing = fully
151	update.3.4.evidence.1 = ACM.CTFrep<-USC
152
153	update.3.5.type = node
154	update.3.5.nodeType = TrivialTarget
155	update.3.5.name = GENI: USC <<-?- USC
156	update.3.5.processing = fully
157	update.3.5.satisfied = Satisfied
158
159	update.3.6.type = node
160	update.3.6.nodeType = RoleTarget
161	update.3.6.name = GENI: ACM.CTFrep <<-?- USC
162	update.3.6.processing = opponent
163	update.3.6.satisfied = Unknown
164
165	update.3.7.type = node
166	update.3.7.nodeType = RoleTarget
167	update.3.7.name = GENI: ACM.CTFrep <<-?- USC
168	update.3.7.processing = opponent
169	update.3.7.satisfied = Satisfied
170
171	update.3.8.type = node
172	update.3.8.nodeType = LinkedRoleTarget
173	update.3.8.name = GENI: ACM.CTFrep.CTFcontestant <<-?- Alice
174	update.3.8.processing = fully
175	update.3.8.satisfied = Satisfied
176
177	update.3.9.type = node
178	update.3.9.nodeType = RoleTarget
179	update.3.9.name = GENI: GENI.CTFaccess <<-?- Alice
180	update.3.9.processing = fully
181	update.3.9.satisfied = Satisfied
182
183	update.3.10.type = edge
184	update.3.10.edgeType = Implication
185	update.3.10.parentName = GENI: ACM.CTFrep <<-?- USC
186	update.3.10.childName = GENI: MIT <<-?- USC
187	update.3.10.childType = TrivialTarget
188	update.3.10.childProcessing = fully
189	update.3.10.evidence.1 = ACM.CTFrep<-MIT
190
191	update.3.11.type = node
192	update.3.11.nodeType = TrivialTarget
193	update.3.11.name = GENI: MIT <<-?- USC
194	update.3.11.processing = fully
195	update.3.11.satisfied = Satisfied
196
197	update.3.12.type = node
198	update.3.12.nodeType = RoleTarget
199	update.3.12.name = GENI: ACM.CTFrep <<-?- USC
200	update.3.12.processing = opponent
201	update.3.12.satisfied = Satisfied
202
203	update.3.13.type = edge
204	update.3.13.edgeType = Implication
205	update.3.13.parentName = GENI: ACM.CTFrep <<-?- USC
206	update.3.13.childName = GENI: UCLA <<-?- USC
207	update.3.13.childType = TrivialTarget
208	update.3.13.childProcessing = fully
209	update.3.13.evidence.1 = ACM.CTFrep<-UCLA
210
211	update.3.14.type = node
212	update.3.14.nodeType = TrivialTarget
213	update.3.14.name = GENI: UCLA <<-?- USC
214	update.3.14.processing = fully
215	update.3.14.satisfied = Satisfied
216
217	update.3.15.type = node
218	update.3.15.nodeType = RoleTarget
219	update.3.15.name = GENI: ACM.CTFrep <<-?- USC
220	update.3.15.processing = opponent
221	update.3.15.satisfied = Satisfied
222
223	update.3.16.type = node
224	update.3.16.name = GENI: ACM.CTFrep <<-?- USC
225	update.3.16.processing = verifier
226

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format