Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Operational Semantics and Verification of Security Protocols

Operational Semantics and Verification of Security Protocols

by Cas Cremers, Sjouke Mauw Hardcover 2012

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Cas Cremers, Sjouke Mauw
  • ISBN 13: 9783540786351
  • ISBN 10: 354078635X
  • Publication Year: 2012
  • Language: English

Specifications

Index-10354078635X
LanguageEnglish
Index-139783540786351
Period-
Class Track-
Publisher- (2012)
Pages-

✨ Readers also enjoyed...

View All →
Modeling and Analyzing Security Protocols with Tamarin : A Comprehensive Guide

Modeling and Analyzing Security Pr…

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse

Inquire
Security Standardisation Research : 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

Security Standardisation Research …

Cas Cremers, Anja Lehmann

Inquire
Desistance, Resistance, and Normalcy

Desistance, Resistance, and Normal…

Tea Fredriksson, Robin Gålnander

Inquire
Thinking and Writing about Literature

Thinking and Writing about Literat…

Michael Meyer

Inquire
The Story of little Muck

The Story of little Muck

Wilhelm Hauff

Inquire