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
Tracking and Data Fusion
The CSP Approach
Trees, Maps, and Theorems
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