- Title
- Security Analysis using Rank Functions in CSP
- Creators
- SA Schneider
- Contributors
- V Courtier (Editor)S Kremer (Editor)
- Publication Details
- Formal Models and Techniques for Analyzing Security Protocols, (10)
- Series
- Cryptology and Information Security
- Publisher
- IOS Press
- Number of pages
- 19
- Date published
- 07/03/2011
- Date submitted
- 19/08/2012
- Identifiers
- 99516045402346
- Academic Unit
- Department of Computer Science
- Resource Type
- Book chapter
Book chapter
Security Analysis using Rank Functions in CSP
Formal Models and Techniques for Analyzing Security Protocols, (10)
Cryptology and Information Security, IOS Press
07/03/2011
Metrics
107 File views/ downloads
16 Record Views