Revision 2454bdd565943cd4140cb08d261041bea8a6bff7 (click the page title to view the current version)

TLS Handshake Model

This example demonstrates modeling TLS Handshake Protocol.

Feature modeling

abstract final Feature
abstract final FeatureModel
TLSFeatures : FeatureModel
annonymousMode : Feature ?
clientAuthentication : Feature ?