This package contains sample protocols generated by the Compiler of Security Protocols.