Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Formal Aspects of Security and Trust 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Author 
Barthe, Gilles. editor. Datta, Anupam. editor. Etalle, Sandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29420-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures
Foundations of Security Analysis and Design V FOSAD 2007/2008/2009 Tutorial Lectures
Author 
Aldini, Alessandro. editor. Barthe, Gilles. editor. Gorrieri, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03829-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
Author 
Barthe, Gilles. editor. Fournet, Cédric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78663-4
Format: 
Availability 
Online Library~1
Available:
Copies: