Expressing Security
Properties in CSP
Anonymity
Anonymity
Anonymity
Anonymity
Anonymity
Anonymity
Example: The dining
cryptographers
The dining cryptographers
The dining cryptographers
The dining cryptographers
The dining cryptographers
The dining cryptographers
The dining cryptographers
The dining cryptographers
The dining cryptographers