Motivation

Need for

• high assurance for communication protocols

• modular and scalable protocol designs

• dynamic adapatation of communication service

Account for informal structuring of communication protocols

• stacks of micro-protocols

• cooperating subprotocols

Previous slide

Next slide

Back to first slide

View graphic version