Specify interfaces of Alice and Bob