Index A 6 H Abstract data model 13 16 Higher-layer triggered events 8 15 15 C 15 15 17 9 17 27 17 Client 17 13 15 I 15 15 15 25 14 25 16 7 message processing Initialization 15 14 15 17 16 17 15 17 15 6 16 12 L sequencing rules 15 Local events 15 16 16 server 15 19 15 19 16 19 14 unauthorized connecting to server M certificate not valid example ( 21, 21) 22 24 Message processing D client 15 Data model - abstract 15 13 16 16 15 15 E server 17 Examples 17 24 18 20 17 20 Messages unauthorized client connecting to server 11 certificate not valid ( 21, 21) 10 22 23 N F 6 9 O G Other local events 16
Index A Abstract data model 13 16 8 C 9 27 Client 13 15 15 15 15 14 16 message processing 15 15 16 15 15 16 12 sequencing rules 15 15 16 15 15 16 14 unauthorized connecting to server certificate not valid example ( 21, 21) 22 D Data model - abstract 13 16 E Examples 24 20 20 unauthorized client connecting to server certificate not valid ( 21, 21) 22 23 F 9 G 6 H Higher-layer triggered events 15 15 15 15 17 17 17 17 I 25 25 7 Initialization 14 17 17 17 6 L Local events 16 server 19 19 19 M 24 Message processing client 15 15 16 15 15 server 17 17 18 17 Messages 11 10 N 6 O Other local events 16