The RISC-V Reader
The CSP Approach
The Science of Programming
The CSP Approach
The art of computer programming. 4A : Part 1. Combinatorial algorithms : [the classic work extended and refined]
The CSP Approach
Theoretische Informatik
The CSP Approach
The Modelling and Analysis of Security Protocols
The CSP Approach
description
An introduction to CSP - Modelling security protocols in CSP - Expressing protocol goals - Overview of FDR - Casper - Encoding protocols and intruders for FDR - Theorem proving - Simplifying transformations - Other approaches - Prospects and wider issues.
read more
pages
314
Year published
2001
Publisher
Addison-Wesley Professional
Issn
0-201-67471-8
Language
en
categories
id
C.2.2 RYA01