10.4. Combining formal and cryptographic styles of analysis
We have already alluded in Chapter 9 to the desirability of bringing together in some way the formal and cryptanalytic styles of analysis. An alternative approach is to note that there is in fact a convergence of concepts between the two approaches: both are starting to use notions of (testing) equivalence. For example, in the cryptographic camp we see definitions of cryptographic secrecy in terms of tests that an intruder may perform. Informally the intruder is allowed to submit plaintexts of his choice to the crypto system and observe the encrypted outputs. He uses this information to try to make deductions about the key material. His choice of texts to submit can be influenced by ...
Get The Modelling and Analysis of Security Protocols: the CSP Approach now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
