Statistics
| Branch: | Tag: | Revision:

root / authentication.seq @ 432fc8c3

History | View | Annotate | Download (523 Bytes)

1
.PS
2

    
3
copy "sequence.pic";
4

    
5
# Define the objects
6
object(B,"Browser");
7
object(S,"Synnefo");
8
object(A,"Sibbolleth");
9

    
10
step();
11

    
12
# Message sequences
13
active(B);
14
active(S);
15
active(A);
16
message(B,S,"GET /");
17
message(S,B,"304 Go to Sibbolleth");
18
message(B,A,"Sibbolleth auth");
19
message(B,A,"Sibbolleth auth");
20
message(A,S,"auth token");
21
message(S,S,"store Sibbolleth token");
22
message(S,A,"get user details");
23
message(A,S,"user details");
24
message(S,S,"store user details");
25
message(S,B,"");
26

    
27
complete(T);
28
complete(S);
29
complete(A);
30
.PE