These protocols can be automatically used through AADL models and appropriate properties associated to AADL data ports on AADL process components. To have more information about AADL and protocol binding, see section 4.
At this time, the libpok layer is focuses on crypto and provides the following protocols:
For each protocol, we have:
Marshalling functions and types are described in their header files (see des.h, ssl.h, ceasar.h and so on). If there is no associated marshalling type, then, the marshall/unmarshall functions uses the same type as the application type or not particular type are required.
Details of each protocol can be found in the API section (chapter 8).
Copyright 2009 POK Team