Publications :: Search

Show venue

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

Conference
Name:	Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures 2005
DBLP:	db/conf/fosad/fosad2005.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 8 of 8  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Gilles Barthe, Guillaume Dufay. Formal Methods for Smartcard Security.	Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures 2005	(0)	2005
	Conference paper Elisa Bertino, Ji-Won Byun, Ninghui Li. Privacy-Preserving Database Systems.	Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures 2005	(0)	2005
	Conference paper Hervé Debar, Jouni Viinikka. Intrusion Detection: Introduction to Intrusion Detection and Security Information Management.	Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures 2005	(0)	2005
	Conference paper Paolo Giorgini, Fabio Massacci, Nicola Zannone. Security and Trust Requirements Engineering.	Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures 2005	(0)	2005
	Conference paper Michael Backes, Birgit Pfitzmann, Michael Waidner. Justifying a Dolev-Yao Model Under Active Attacks.	Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures 2005	(0)	2004
	Conference paper Riccardo Focardi. Static Analysis of Authentication.	Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures 2005	(0)	2004
	Conference paper Jan Jürjens. Model-Based Security Engineering with UML.	Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures 2005	(0)	2004
	Conference paper François Koeune, François-Xavier Standaert. A Tutorial on Physical Security and Side-Channel Attacks.	Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures 2005	(0)	2004

Show item 1 to 8 of 8  

Your query returned 8 matches in the database.