2018

Graphical models for security : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised selected papers

GraMSec (Workshop) (4th : 2017 : Santa Barbara, Calif.)

Cham : Springer, 2018

 

2016

Graphical models for security : second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised selected papers

International Workshop on Graphical Models for Security (2nd : 2015 : Verona, Italy)

Cham : Springer, 2016

 

2012

Operational semantics and verification of security protocols

Cremers, Cas.

Berlin ; New York : Springer, [2012]

Request It 

2012

Operational semantics and verification of security protocols

Cremers, Cas



 

2008

Public key infrastructure : 5th European PKI workshop : theory and practice, EuroPKI 2008, Trondheim, Norway, June 16-17, 2008 : proceedings

European PKI Workshop (5th : 2008 : Trondheim, Norway)



 

2019

Security and trust management : 15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019, Proceedings

STM (Conference) (15th : 2019 : Luxembourg, Luxembourg)

Cham, Switzerland : Springer, 2019

 

2016

Trust management X : 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings

IFIPTM (Conference) (10th : 2016 : Darmstadt, Germany)

Switzerland : Springer, 2016