Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-7 of 7)
Mauw, S.,
1
E-book
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

Rating:

 
 
2
E-book
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

Rating:

 
 
3
Book
2012

Operational semantics and verification of security protocols


Cremers, Cas.
Berlin ; New York : Springer, [2012]

Rating:

Request It 
 
Location Call no. Vol. Availability
 MELB  005.8 Cre/Osa  AVAILABLE
 W'PONDS  005.8 Cre/Osa  AVAILABLE
4
E-book
2012

Operational semantics and verification of security protocols


Cremers, Cas.
Berlin ; New York : Springer, [2012]

Rating:

 
 
5
E-book
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)
Berlin : Springer, 2008

Rating:

 
 
6
E-book
2014

Security and trust management : 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings


STM (Conference) (10th : 2014 : Wrocław, Poland)
Cham : Springer, 2014

Rating:

 
 
7
E-book
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

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results