source: fedd/abac-src/ttg/test/SAdmir.xml @ 55c074c

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

ABAC sources from Cobham
  • Property mode set to 100644
File size: 5.2 KB
Line 
1<?xml version="1.0"?>
2<Negotiation>
3<Observation count="1">
4location = remote</Observation>
5
6<Observation count="2">
7<NodeOperation type="root">
8<TrustTarget>SAdmir: SAdmir.getsSLocs &lt;&lt;-?- SAdmir</TrustTarget>
9<ProcessingState>Opponent Processed</ProcessingState>
10</NodeOperation>
11</Observation>
12
13<!--updating from TTG-->
14<!--updating from TTG-->
15<Observation count="3">
16<EdgeOperation type="Implication" newChild="true">
17<Parent>
18SAdmir: SAdmir.getsSLocs &lt;&lt;-?- SAdmir</Parent>
19<Child>
20SAdmir: SAdmir.friendlyUsr ^ SAdmir.needsSLocs &lt;&lt;-?- SAdmir</Child>
21<ProcessingState>Opponent Processed</ProcessingState>
22</EdgeOperation>
23</Observation>
24
25<!--updating from TTG-->
26<Observation count="4">
27<NodeOperation>
28<TrustTarget>SAdmir: SAdmir.getsSLocs &lt;&lt;-?- SAdmir</TrustTarget>
29<ProcessingState>Verifier Processed</ProcessingState>
30</NodeOperation>
31</Observation>
32
33<Observation count="5">
34<EdgeOperation type="Intersection" newChild="true">
35<Parent>
36SAdmir: SAdmir.friendlyUsr ^ SAdmir.needsSLocs &lt;&lt;-?- SAdmir</Parent>
37<Child>
38SAdmir: SAdmir.friendlyUsr &lt;&lt;-?- SAdmir</Child>
39<ProcessingState>Opponent Processed</ProcessingState>
40</EdgeOperation>
41</Observation>
42
43<!--updating from TTG-->
44<Observation count="6">
45<EdgeOperation type="Intersection" newChild="true">
46<Parent>
47SAdmir: SAdmir.friendlyUsr ^ SAdmir.needsSLocs &lt;&lt;-?- SAdmir</Parent>
48<Child>
49SAdmir: SAdmir.needsSLocs &lt;&lt;-?- SAdmir</Child>
50<ProcessingState>Opponent Processed</ProcessingState>
51</EdgeOperation>
52</Observation>
53
54<!--updating from TTG-->
55<Observation count="7">
56<EdgeOperation type="Implication" newChild="true">
57<Parent>
58SAdmir: SAdmir.friendlyUsr &lt;&lt;-?- SAdmir</Parent>
59<Child>
60SAdmir: SAdmir.friendly.usr &lt;&lt;-?- SAdmir</Child>
61<ProcessingState>Opponent Processed</ProcessingState>
62</EdgeOperation>
63</Observation>
64
65<!--updating from TTG-->
66<Observation count="8">
67<NodeOperation>
68<TrustTarget>SAdmir: SAdmir.friendlyUsr &lt;&lt;-?- SAdmir</TrustTarget>
69<ProcessingState>Verifier Processed</ProcessingState>
70</NodeOperation>
71</Observation>
72
73<Observation count="9">
74<EdgeOperation type="Implication" newChild="true">
75<Parent>
76SAdmir: SAdmir.needsSLocs &lt;&lt;-?- SAdmir</Parent>
77<Child>
78SAdmir: SAdmir.NRetTacCom.NRetTacUsr &lt;&lt;-?- SAdmir</Child>
79<ProcessingState>Opponent Processed</ProcessingState>
80</EdgeOperation>
81</Observation>
82
83<!--updating from TTG-->
84<Observation count="10">
85<NodeOperation>
86<TrustTarget>SAdmir: SAdmir.needsSLocs &lt;&lt;-?- SAdmir</TrustTarget>
87<ProcessingState>Verifier Processed</ProcessingState>
88</NodeOperation>
89</Observation>
90
91<Observation count="11">
92<EdgeOperation type="Implication" newChild="true">
93<Parent>
94SAdmir: SAdmir.friendly.usr &lt;&lt;-?- SAdmir</Parent>
95<Child>
96SAdmir: US.usr &lt;&lt;-?- SAdmir</Child>
97<ProcessingState>Verifier Processed</ProcessingState>
98</EdgeOperation>
99</Observation>
100
101<!--updating from TTG-->
102<Observation count="12">
103<NodeOperation>
104<TrustTarget>SAdmir: SAdmir.friendly.usr &lt;&lt;-?- SAdmir</TrustTarget>
105<ProcessingState>Verifier Processed</ProcessingState>
106</NodeOperation>
107</Observation>
108
109<Observation count="13">
110<EdgeOperation type="LinkingMonitor" newChild="true">
111<Parent>
112SAdmir: SAdmir.NRetTacCom.NRetTacUsr &lt;&lt;-?- SAdmir</Parent>
113<Child>
114SAdmir: ?X.NRetTacUsr &lt;&lt;-?- SAdmir</Child>
115<ProcessingState>Verifier Processed</ProcessingState>
116</EdgeOperation>
117</Observation>
118
119<!--updating from TTG-->
120<Observation count="14">
121<StandardTarget>
122SAdmir: US.usr &lt;&lt;-?- SAdmir<ProcessingState>Fully Processed</ProcessingState>
123<SatisfactionState>failed</SatisfactionState>
124</StandardTarget>
125<SatisfactionState>failed</SatisfactionState>
126</Observation>
127
128<Observation count="15">
129<LinkedTarget>
130SAdmir: SAdmir.friendly.usr &lt;&lt;-?- SAdmir<ProcessingState>Fully Processed</ProcessingState>
131<SatisfactionState>failed</SatisfactionState>
132</LinkedTarget>
133<SatisfactionState>failed</SatisfactionState>
134</Observation>
135
136<Observation count="16">
137<StandardTarget>
138SAdmir: SAdmir.friendlyUsr &lt;&lt;-?- SAdmir<ProcessingState>Fully Processed</ProcessingState>
139<SatisfactionState>failed</SatisfactionState>
140</StandardTarget>
141<SatisfactionState>failed</SatisfactionState>
142</Observation>
143
144<Observation count="17">
145<Intersection>
146SAdmir: SAdmir.friendlyUsr ^ SAdmir.needsSLocs &lt;&lt;-?- SAdmir<ProcessingState>Opponent Processed</ProcessingState>
147<SatisfactionState>failed</SatisfactionState>
148</Intersection>
149<SatisfactionState>failed</SatisfactionState>
150</Observation>
151
152<Observation count="18">
153<StandardTarget>
154SAdmir: SAdmir.getsSLocs &lt;&lt;-?- SAdmir<ProcessingState>Fully Processed</ProcessingState>
155<SatisfactionState>failed</SatisfactionState>
156</StandardTarget>
157<SatisfactionState>failed</SatisfactionState>
158</Observation>
159
160<Observation count="19">
161<NodeOperation>
162<TrustTarget>SAdmir: US.usr &lt;&lt;-?- SAdmir</TrustTarget>
163<ProcessingState>Opponent Processed</ProcessingState>
164</NodeOperation>
165</Observation>
166
167<Observation count="20">
168<?xml version="1.0" encoding="ISO-8859-1"?>
169<Message xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="http://isrl.cs.byu.edu/xsd/message.xsd">
170<!--Operation no. 1-->
171<NodeOperation>
172<TrustTarget>SAdmir: US.usr &lt;&lt;-?- SAdmir</TrustTarget>
173<ProcessingState>Opponent Processed</ProcessingState>
174</NodeOperation>
175</Message>
176</Observation>
177
Note: See TracBrowser for help on using the repository browser.