Security Analysis using Rank Functions in CSP
Tools
Tools
Tools
Schneider, SA (2011) Security Analysis using Rank Functions in CSP In: Formal Models and Techniques for Analyzing Security Protocols. Cryptology and Information Security (10). IOS Press. ISBN 978-1-60750-713-0
![[img]](/style/images/fileicons/application_pdf.png)
| PDF Available under License : See the attached licence file. 101Kb | |
| PDF (licence) 32Kb |
| Item Type: | Book Section |
|---|---|
| Divisions: | Faculty of Engineering and Physical Sciences > Computing Science |
| ID Code: | 721383 |
| Deposited By: | Symplectic Elements |
| Deposited On: | 26 Oct 2012 09:58 |
| Last Modified: | 16 Feb 2013 15:54 |
Document Downloads
Repository Staff Only: item control page