Buy books written by Cas Cremers Available at BooksWagon

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Cas Cremers

4 results found

Sort By:

7 % NR

Modeling and Analyzing Security Protocols with Tamarin

By: Cas Cremers, David Basin, Ralf Sasse, Jannik Dreier

Publisher: Springer International Publishing AG

No Review Yet

₹6,412

₹5,963

Binding:	Hardback
Release:	28 Jul 2025
Language:	English

International Edition

Ships within 18-20 Days Explain..

Free Shipping in India and low cost Worldwide.

37 %

Operational Semantics and Verification of Security Protocols

By: Cas Cremers, Sjouke Mauw

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

₹7,247

₹4,566

Binding:	Hardback
Release:	31 Oct 2012
Language:	English

Available

Ships within 14-16 Days Explain..

36 %

Operational Semantics and Verification of Security Protocols

By: Cas Cremers, Sjouke Mauw

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

₹5,570

₹3,565

Binding:	Paperback
Release:	09 Nov 2014
Language:	English

Available

Ships within 14-16 Days Explain..

36 %

Security Standardisation Research

By: Cas Cremers, Anja Lehmann

Publisher: Springer Nature Switzerland AG

No Review Yet

₹5,574

₹3,567

Binding:	Paperback
Release:	21 Nov 2018
Language:	English

Available

Ships within 14-16 Days Explain..

No more records found