Cas Cremers – författare

Visar alla böcker från författaren Cas Cremers.

4 produkter

1. 

   Security Standardisation Research

   4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

   Av Cas Cremers, Anja Lehmann

   Häftad, 2018

   739 kr

   Lägg i varukorg

2. 

   Modeling and Analyzing Security Protocols with Tamarin

   A Comprehensive Guide

   Av David Basin, Cas Cremers m. fl.

   Inbunden, 2025

   809 kr

   Lägg i varukorg

3. 

   Operational Semantics and Verification of Security Protocols

   Av Cas Cremers, Sjouke Mauw

   Inbunden, 2012

   959 kr

   Lägg i varukorg

4. 

   Operational Semantics and Verification of Security Protocols

   Av Cas Cremers, Sjouke Mauw

   Häftad, 2014

   739 kr

   Lägg i varukorg