root / authentication.seq @ b216cb77
History | View | Annotate | Download (523 Bytes)
| 1 | f1bb8ad8 | Georgios Gousios | .PS |
|---|---|---|---|
| 2 | f1bb8ad8 | Georgios Gousios | |
| 3 | f1bb8ad8 | Georgios Gousios | copy "sequence.pic"; |
| 4 | f1bb8ad8 | Georgios Gousios | |
| 5 | f1bb8ad8 | Georgios Gousios | # Define the objects |
| 6 | f1bb8ad8 | Georgios Gousios | object(B,"Browser"); |
| 7 | f1bb8ad8 | Georgios Gousios | object(S,"Synnefo"); |
| 8 | f1bb8ad8 | Georgios Gousios | object(A,"Sibbolleth"); |
| 9 | f1bb8ad8 | Georgios Gousios | |
| 10 | f1bb8ad8 | Georgios Gousios | step(); |
| 11 | f1bb8ad8 | Georgios Gousios | |
| 12 | f1bb8ad8 | Georgios Gousios | # Message sequences |
| 13 | f1bb8ad8 | Georgios Gousios | active(B); |
| 14 | f1bb8ad8 | Georgios Gousios | active(S); |
| 15 | f1bb8ad8 | Georgios Gousios | active(A); |
| 16 | f1bb8ad8 | Georgios Gousios | message(B,S,"GET /"); |
| 17 | f1bb8ad8 | Georgios Gousios | message(S,B,"304 Go to Sibbolleth"); |
| 18 | 5fb55fba | Georgios Gousios | message(B,A,"Sibbolleth auth"); |
| 19 | 5fb55fba | Georgios Gousios | message(B,A,"Sibbolleth auth"); |
| 20 | 5fb55fba | Georgios Gousios | message(A,S,"auth token"); |
| 21 | 5fb55fba | Georgios Gousios | message(S,S,"store Sibbolleth token"); |
| 22 | 5fb55fba | Georgios Gousios | message(S,A,"get user details"); |
| 23 | 5fb55fba | Georgios Gousios | message(A,S,"user details"); |
| 24 | 5fb55fba | Georgios Gousios | message(S,S,"store user details"); |
| 25 | 5fb55fba | Georgios Gousios | message(S,B,""); |
| 26 | f1bb8ad8 | Georgios Gousios | |
| 27 | f1bb8ad8 | Georgios Gousios | complete(T); |
| 28 | f1bb8ad8 | Georgios Gousios | complete(S); |
| 29 | f1bb8ad8 | Georgios Gousios | complete(A); |
| 30 | f1bb8ad8 | Georgios Gousios | .PE |