Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)
by Cas Cremers,Sjouke Mauw
ISBN 13: 9783540786351
Format: Hardcover (188 pages) Publisher: Springer Published: 01 Jun 2011
Save for later
Security and Trust Management: 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014, Proceedings (Lecture Notes in Computer Science)
by Sjouke Mauw,Christian Damsgaard Jensen
ISBN 13: 9783319118505
Format: Paperback (220 pages) Publisher: Springer Published: 22 Sep 2014
Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers: 10744 (Lecture Notes in Computer Science)
by Peng Liu,Sjouke Mauw,Ketil Stolen
ISBN 13: 9783319748597
Format: Paperback (160 pages) Publisher: Springer Published: 21 Feb 2018
CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings: 1664 (Lecture Notes in Computer Science)
by Jos C.M. Baeten,Sjouke Mauw
ISBN 13: 9783540664253
Format: Paperback (596 pages) Publisher: Springer Published: 13 Jun 2008