Skip to content

Commit 23a6864

Browse files
dannywillemsdannywillems
committed
Update documentation.
1 parent f3937eb commit 23a6864

File tree

4 files changed

+336
-263
lines changed

4 files changed

+336
-263
lines changed

‎src/os_connect_client.eliomi‎

Lines changed: 35 additions & 34 deletions
Original file line numberDiff line numberDiff line change
@@ -34,15 +34,17 @@ exception No_such_saved_token
3434

3535
(** {2 Token representation. } *)
3636

37-
(** Represents tokens used by the OpenID Connect server. *)
37+
(** Interface for ID Token used by the OpenID Connect server. *)
3838

39-
module type IDTOKEN =
40-
sig
41-
42-
(** Represents a saved token. The type is abstract to let the choice of the
39+
module type IDTOKEN = sig
40+
(** Represent a saved token. The type is abstract to let the choice of the
4341
implementation.
4442
In addition to {!Os_oauth2_client.TOKEN.saved_token}, a token must contain
4543
at least:
44+
- the token type (for example ["bearer"]).
45+
- the scopes list (of type {!scope}). Used to know which data the data
46+
service must send.
47+
4648
- the ID token as a JSON Web Token (JWT).
4749
*)
4850
type saved_token
@@ -61,27 +63,27 @@ module type IDTOKEN =
6163
(** [number_of_cycle] the number of cycle. *)
6264
val number_of_cycle : int
6365

64-
(** Returns the OpenID Connect server ID which delivered the token. *)
66+
(** Return the OpenID Connect server ID which delivered the token. *)
6567
val id_server_of_saved_token :
6668
saved_token ->
6769
Os_types.OAuth2.Server.id
6870

69-
(** Returns the token value. *)
71+
(** Return the token value. *)
7072
val value_of_saved_token :
7173
saved_token ->
7274
string
7375

74-
(** Returns the token type (for example ["bearer"]. *)
76+
(** Return the token type (for example ["bearer"]. *)
7577
val token_type_of_saved_token :
7678
saved_token ->
7779
string
7880

79-
(** Returns the ID token as a JWT. *)
81+
(** Return the ID token as a JWT. *)
8082
val id_token_of_saved_token :
8183
saved_token ->
8284
Jwt.t
8385

84-
(** Returns the number of remaining cycles. *)
86+
(** Return the number of remaining cycles. *)
8587
val counter_of_saved_token :
8688
saved_token ->
8789
int ref
@@ -116,7 +118,7 @@ module type IDTOKEN =
116118
saved_token ->
117119
unit
118120

119-
(** Returns all saved tokens as a list. *)
121+
(** Return all saved tokens as a list. *)
120122
val list_tokens :
121123
unit ->
122124
saved_token list
@@ -133,29 +135,28 @@ module type IDTOKEN =
133135

134136
(** Basic scope for OpenID Connect. *)
135137

136-
module Basic_scope :
137-
sig
138-
(** Available scopes. When doing a request, [OpenID] is automatically
139-
set.
140-
*)
141-
type scope =
142-
| OpenID (** Mandatory in each requests (due to RFC).*)
143-
| Firstname (** Get access to the first name *)
144-
| Lastname (** Get access to the last name *)
145-
| Email (** Get access to the email *)
146-
| Unknown (** Used when an unknown scope is given. *)
147-
148-
(** Default scopes is set to {{!scope}OpenID} (due to RFC). *)
149-
val default_scopes : scope list
150-
151-
(** Get a string representation of the scope. {{!scope}Unknown} string
152-
representation is the empty string.
153-
*)
154-
val scope_to_str : scope -> string
155-
156-
(** Converts a string scope to {!scope} type. *)
157-
val scope_of_str : string -> scope
158-
end
138+
module Basic_scope : sig
139+
(** Available scopes. When doing a request, [OpenID] is automatically
140+
set.
141+
*)
142+
type scope =
143+
| OpenID (** Mandatory in each requests (due to RFC).*)
144+
| Firstname (** Get access to the first name *)
145+
| Lastname (** Get access to the last name *)
146+
| Email (** Get access to the email *)
147+
| Unknown (** Used when an unknown scope is given. *)
148+
149+
(** Default scopes is set to {{!scope}OpenID} (due to RFC). *)
150+
val default_scopes : scope list
151+
152+
(** Get a string representation of the scope. {{!scope}Unknown} string
153+
representation is the empty string.
154+
*)
155+
val scope_to_str : scope -> string
156+
157+
(** Converts a string scope to {!scope} type. *)
158+
val scope_of_str : string -> scope
159+
end
159160

160161
(** Basic ID token implementation. *)
161162

‎src/os_connect_server.eliomi‎

Lines changed: 163 additions & 90 deletions
Original file line numberDiff line numberDiff line change
@@ -19,119 +19,192 @@
1919
*)
2020

2121
(** OpenID Connect server with default scopes ({!Basic_scope}), ID Tokens
22-
({!Basic_ID_Token}) and client implementation ({!Basic}).
22+
({!Basic_ID_Token}) and server implementation ({!Basic}).
2323
*)
2424

25+
(** {1 Exceptions. } *)
26+
2527
(** Exception raised when the given token doesn't exist. *)
2628
exception No_such_saved_token
2729

28-
module type IDTOKEN =
29-
sig
30-
type scope
31-
32-
type saved_token
33-
34-
val saved_tokens : saved_token list ref
35-
36-
val cycle_duration : int
37-
38-
val number_of_cycle : int
39-
40-
val id_client_of_saved_token :
41-
saved_token ->
42-
Os_types.OAuth2.Client.id
43-
44-
val userid_of_saved_token :
45-
saved_token ->
46-
Os_types.User.id
47-
48-
val token_type_of_saved_token :
49-
saved_token ->
50-
string
51-
52-
val value_of_saved_token :
53-
saved_token ->
54-
string
55-
56-
val id_token_of_saved_token :
57-
saved_token ->
58-
Jwt.t
59-
60-
val scope_of_saved_token :
61-
saved_token ->
62-
scope list
63-
64-
val secret_key_of_saved_token :
65-
saved_token ->
66-
string
67-
68-
val counter_of_saved_token :
69-
saved_token ->
70-
int ref
71-
72-
(* getters *)
73-
(* ------- *)
74-
75-
(* Returns true if the token already exists *)
76-
val token_exists :
77-
saved_token ->
78-
bool
79-
80-
(* Generate a token value *)
81-
val generate_token_value :
82-
unit ->
83-
string
84-
85-
(* Generate a new token *)
86-
val generate_token :
87-
id_client:Os_types.OAuth2.Client.id ->
88-
userid:Os_types.User.id ->
89-
scope:scope list ->
90-
saved_token Lwt.t
91-
92-
(* Save a token *)
93-
val save_token :
94-
saved_token ->
95-
unit
96-
97-
val remove_saved_token :
98-
saved_token ->
99-
unit
100-
101-
val saved_token_of_id_client_and_value :
102-
Os_types.OAuth2.Server.id ->
103-
string ->
104-
saved_token
105-
106-
(* List all saved tokens *)
107-
val list_tokens :
108-
unit ->
109-
saved_token list
110-
111-
val saved_token_to_json :
112-
saved_token ->
113-
Yojson.Safe.json
114-
end
30+
(** {2 Token representation. } *)
31+
32+
(** Token interface used by the OpenID Connect server. *)
33+
34+
module type IDTOKEN = sig
35+
(** List of permissions. Used to type the [scope] field in {!saved_token} *)
36+
type scope
37+
38+
(** Token representation. The type is abstract to let the choice of the
39+
implementation.
40+
A token must contain at least:
41+
- the userid to know which user authorized.
42+
- the OAuth2.0 client ID to know the client to which the token is
43+
assigned. The ID is related to the database.
44+
- a value (the token value).
45+
- the token type (for example ["bearer"]).
46+
- the scopes list (of type {!scope}). Used to know which data the data
47+
service must send.
48+
- the ID token as a JSON Web Token (JWT).
49+
- the secret key used to sign the JWT. It is useful to check if the
50+
client sent the right ID token. This is the key used by HS256 to sign
51+
the token.
52+
- a counter which represents the number of times the token has been
53+
checked by the timer.
54+
*)
55+
type saved_token
56+
57+
(** The list of all saved tokens. *)
58+
val saved_tokens : saved_token list ref
59+
60+
(** Tokens must expire after a certain amount of time. For this reason, a
61+
timer {!Os_oauth2_shared.update_list_timer} checks all {!cycle_duration}
62+
seconds if the token has been generated after {!cycle_duration} *
63+
{!number_of_cycle} seconds. If it's the case, the token is removed.
64+
*)
65+
66+
(** The duration of a cycle. *)
67+
val cycle_duration : int
68+
69+
(** The number of cycle. *)
70+
val number_of_cycle : int
71+
72+
(** Return the client ID. *)
73+
val id_client_of_saved_token :
74+
saved_token ->
75+
Os_types.OAuth2.Client.id
76+
77+
(** Return the userid of the user who authorized. *)
78+
val userid_of_saved_token :
79+
saved_token ->
80+
Os_types.User.id
81+
82+
(** Return the token type. *)
83+
val token_type_of_saved_token :
84+
saved_token ->
85+
string
86+
87+
(** Return the token value. *)
88+
val value_of_saved_token :
89+
saved_token ->
90+
string
91+
92+
(** Return the ID token as a JWT. *)
93+
val id_token_of_saved_token :
94+
saved_token ->
95+
Jwt.t
96+
97+
(** Return the scope asked by the client. *)
98+
val scope_of_saved_token :
99+
saved_token ->
100+
scope list
101+
102+
(** Return the secret key used to sign the JWT. *)
103+
val secret_key_of_saved_token :
104+
saved_token ->
105+
string
106+
107+
(** Return the number of passed cycle. *)
108+
val counter_of_saved_token :
109+
saved_token ->
110+
int ref
111+
112+
(** Return [true] if the token already exists *)
113+
val token_exists :
114+
saved_token ->
115+
bool
116+
117+
(* Generate a token value *)
118+
val generate_token_value :
119+
unit ->
120+
string
121+
122+
(* Generate a new token *)
123+
val generate_token :
124+
id_client:Os_types.OAuth2.Client.id ->
125+
userid:Os_types.User.id ->
126+
scope:scope list ->
127+
saved_token Lwt.t
128+
129+
(** Save a token *)
130+
val save_token :
131+
saved_token ->
132+
unit
133+
134+
(** Remove a token. *)
135+
val remove_saved_token :
136+
saved_token ->
137+
unit
138+
139+
(** Return the saved token assigned to the client with given ID and
140+
value.
141+
*)
142+
val saved_token_of_id_client_and_value :
143+
Os_types.OAuth2.Server.id ->
144+
string ->
145+
saved_token
146+
147+
(* List all saved tokens *)
148+
val list_tokens :
149+
unit ->
150+
saved_token list
151+
152+
(** Return the saved token as a JSON. Used to send to the client. *)
153+
val saved_token_to_json :
154+
saved_token ->
155+
Yojson.Safe.json
156+
end
115157

116158
(** Basic module for scopes.
159+
117160
[check_scope_list scope_list] returns [true] if every element in
118161
[scope_list] is an available scope value.
119162
If the list contains only [OpenID] or if the list doesn't contain [OpenID]
120-
(mandatory scope in RFC), returns [false].
163+
(mandatory scope in RFC), it returns [false].
121164
If an unknown scope value is in list (represented by [Unknown] value),
122-
returns [false].
165+
it returns [false].
123166
*)
124167

168+
(** Basic scope *)
125169
module Basic_scope : Os_oauth2_server.SCOPE
126170

171+
(** MakeIDToken (Scope) returns a module of type {!IDTOKEN} with the type
172+
{!IDTOKEN.scope} equals to {!Scope.scope}.
173+
174+
Tokens are represented as a record with exactly the same fields available in
175+
the inferface {!IDTOKEN}.
176+
177+
The token type is always ["bearer"].
178+
179+
The related JSON contains the fields:
180+
- ["token_type"] with value ["bearer"].
181+
- ["token"] with the token value.
182+
- ["expires_in"] with the value [cycle_duration * number_of_cycle] i.e. 600
183+
seconds.
184+
- ["id_token"] with the JWT.
185+
186+
187+
NOTE: If you want to implement another type of tokens, you need to implement
188+
another functor (with the [Scope.scope] type dependency) which returns a
189+
module of type {!IDTOKEN}. The resulting module can be given as parameter to
190+
the function {!Os_oauth2_server.MakeServer}.
191+
*)
127192
module MakeIDToken : functor
128193
(Scope : Os_oauth2_server.SCOPE) ->
129194
(IDTOKEN with type scope = Scope.scope)
130195

196+
(** Basic ID Token based on the scope from {!Basic_scope}. *)
131197
module Basic_ID_token
132198
: (IDTOKEN with
133199
type scope = Basic_scope.scope)
134200

201+
(** [Basic (Scope) (Token)] returns a module representing a OpenID Connect
202+
server. The available scopes come from {!Scope.scope} and the token related
203+
functions, types and representation come from {!Token}.
204+
205+
As an OpenID Connect server is based on an OAuth2.0, the server is generated
206+
with {!Os_oauth2_server.MakeServer}.
207+
*)
135208
module Basic : (Os_oauth2_server.SERVER with
136209
type scope = Basic_scope.scope and
137210
type saved_token = Basic_ID_token.saved_token

0 commit comments

Comments
 (0)