1 Scope
2
References
3
Definitions
4
Abbreviations
5
Conventions
6
Overview of the protocol specifications
6.1 The protocol model
6.2 Refinement of the TPA model
6.3 Abstract services provided by the DTAM-DM service element
6.4 Abstract services provided by the DTAM-TK service element
7
Formal protocol specifications
7.1 Formal specification of the DTAM-DM protocol
7.2 Formal specification of the DTAM-TK protocol
7.3 Definition of abstract syntax for DTAM-DM
7.4 Definition of abstract syntax for DTAM-TK
8
Conformance
8.1 Conformance to the DTAM-DM protocol
8.2 Conformance to the DTAM-TK protocol
Annex A – Formal assignment of object identifiers