Our Approach
Spread - group communication system.
Cliques - contributory key agreement protocol.
Secure Spread - secure group communication system with a robust contributory key agreement protocol.
Prove that the Cliques protocols security and the Spread group communication services are preserved in the Secure Spread system.