Publications :: Search

Show venue

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

Conference
Name:	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003
DBLP:	db/conf/fasec/fasec2002.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 18  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Colin Boyd, Kapali Viswanathan. Towards a Formal Specification of the Bellare-Rogaway Model for Protocol Analysis.	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003	(0)	2002
	Conference paper Ernie Cohen. TAPS: The Last Few Slides.	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003	(0)	2002
	Conference paper Antonio Durante, Roberto Di Pietro, Luigi V. Mancini. Formal Specification for Fast Automatic IDS Training.	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003	(0)	2002
	Conference paper Felix C. Freiling. Revisiting Liveness Properties in the Context of Secure Systems.	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003	(0)	2002
	Conference paper Dieter Gollmann. Analysing Security Protocols.	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003	(0)	2002
	Conference paper Andrew D. Gordon. Authenticity Types for Cryptographic Protocols.	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003	(0)	2002
	Conference paper Sigrid Gürgens, Carsten Rudolph. Security Analysis of (Un-) Fair Non-repudiation Protocols.	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003	(0)	2002
	Conference paper Anthony Hall. Z Styles for Security Properties and Modern User Interfaces.	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003	(0)	2002
	Conference paper Joseph Y. Halpern, Riccardo Pucella. Modeling Adversaries in a Logic for Security Protocol Analysis.	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003	(0)	2002
	Conference paper Gethin Norman, Vitaly Shmatikov. Analysis of Probabilistic Contract Signing.	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers 2003	(0)	2002

Show item 1 to 10 of 18  

Your query returned 18 matches in the database.