Hoang, Thai Son Specification of the Dining Cryptographers problem. [Rodin Archive]
ZIP Archive (Specification of Dining Cryptographers) 18Kb |
Item Type: | Rodin Archive |
---|---|
Subjects: | Methodology > Security Event-B > Event-B Examples |
ID Code: | 215 |
Deposited By: | Thai Son Hoang |
Deposited On: | 06 Apr 2010 17:23 |
Last Modified: | 19 Apr 2010 16:06 |
Repository Staff Only: item control page