Original language | English |
---|---|
Pages (from-to) | 55-70 |
Number of pages | 16 |
Journal | Electronic Notes in Theoretical Computer Science |
Volume | 235 |
Issue number | C |
DOIs | |
Publication status | Published (VoR) - 1 Apr 2009 |
Keywords
- Authentication
- CSP
- Correctness
- Distributed systems
- Formal Methods
- Security
- Z