Proof Outline

• Group Communication:

Assumption: GCS provides Virtual Synchrony semantics.

Prove: Key agreement protocol preserves the semantics.

• Proof key points:

• • The application is not allowed to send messages while the key agreement is performed.
  • The key agreement protocol does not reorder messages.

• Security:

Prove: the security of the Cliques protocols is preserved.

Previous slide

Next slide

Back to first slide

View graphic version