215 Hoang, Thai Son Specification of the Dining Cryptographers problem. [Rodin Archive]