source: fedd/abac-src/ttg/test/rbtm.log @ 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: 2.4 KB
RevLine 
[8780cbec]1Finding credential defining the role name: CTFcontestant
2count = 1
3-------BEGIN-SENS-SEARCH------------
4searching for USC.CTFcontestant
5###Adding USC.CTFcontestant,USC.CTFcontestant<-Alice
6###Adding Alice,node Alice
7###Adding Alice,node Alice
8map = [2]{Alice=[node Alice]}
9--------END-SENS-SEARCH-------------
10-------BEGIN-SENS-SEARCH------------
11searching for USC.CTFcontestant
12map = [2]{Alice=[node Alice]}
13--------END-SENS-SEARCH-------------
14---------BEGIN-SENS-CHAIN----------
15Getting sens chain from USC.CTFcontestant to Alice
16source = USC.CTFcontestant
17target = Alice
18node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
19
20@@@@@ this = USC.CTFcontestant
21solutions = [2]{Alice=[node Alice]}
22soln = [node Alice]
23
24@@@@@ next = Alice
25
26@@@@@ children  = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
27results = [USC.CTFcontestant<-Alice]
28-----------END-SENS-CHAIN----------
29
30Finding credential defining the role name: CTFcontestant
31count = 1
32-------BEGIN-SENS-SEARCH------------
33searching for USC.CTFcontestant
34map = [2]{Alice=[node Alice]}
35--------END-SENS-SEARCH-------------
36-------BEGIN-SENS-SEARCH------------
37searching for USC.CTFcontestant
38map = [2]{Alice=[node Alice]}
39--------END-SENS-SEARCH-------------
40---------BEGIN-SENS-CHAIN----------
41Getting sens chain from USC.CTFcontestant to Alice
42source = USC.CTFcontestant
43target = Alice
44node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
45
46@@@@@ this = USC.CTFcontestant
47solutions = [2]{Alice=[node Alice]}
48soln = [node Alice]
49
50@@@@@ next = Alice
51
52@@@@@ children  = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
53results = [USC.CTFcontestant<-Alice]
54-----------END-SENS-CHAIN----------
55
56Finding credential defining the role name: CTFcontestant
57count = 1
58-------BEGIN-SENS-SEARCH------------
59searching for USC.CTFcontestant
60map = [2]{Alice=[node Alice]}
61--------END-SENS-SEARCH-------------
62-------BEGIN-SENS-SEARCH------------
63searching for USC.CTFcontestant
64map = [2]{Alice=[node Alice]}
65--------END-SENS-SEARCH-------------
66---------BEGIN-SENS-CHAIN----------
67Getting sens chain from USC.CTFcontestant to Alice
68source = USC.CTFcontestant
69target = Alice
70node table = {Alice=node Alice, USC.CTFcontestant=node USC.CTFcontestant}
71
72@@@@@ this = USC.CTFcontestant
73solutions = [2]{Alice=[node Alice]}
74soln = [node Alice]
75
76@@@@@ next = Alice
77
78@@@@@ children  = [2]{USC.CTFcontestant=[USC.CTFcontestant<-Alice]}
79results = [USC.CTFcontestant<-Alice]
80-----------END-SENS-CHAIN----------
81
Note: See TracBrowser for help on using the repository browser.