Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009
URL:	http://dx.doi.org/10.1007/978-3-642-03829-7
DBLP:	db/conf/fosad/fosad2009.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 10  

Select a publication
Show	Title	Venue	Rating	Date
	K. Rustan M. Leino, Peter Müller, Jan Smans. Verification of Concurrent Programs with Chalice.	Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009	(0)	2009
	Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie. Certified Static Analysis by Abstract Interpretation.	Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009	(0)	2009
	Martín Abadi. Logic in Access Control (Tutorial Notes).	Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009	(0)	2009
	Javier Lopez, Rodrigo Roman, Cristina Alcaraz. Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks.	Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009	(0)	2009
	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini. Resource Usage Analysis and Its Application to Resource Certification.	Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009	(0)	2009
	Sebastian Mödersheim, Luca Viganò. The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.	Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009	(0)	2009
	Gilles Barthe, César Kunz. An Introduction to Certificate Translation.	Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009	(0)	2008
	David W. Chadwick. Federated Identity Management.	Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009	(0)	2008
	Bart Jacobs, Wolter Pieters. Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment.	Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009	(0)	2008
	Santiago Escobar, Catherine Meadows, José Meseguer. Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties.	Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 2009	(0)	2007

Your query returned 10 matches in the database.